[isabelle-dev] AFP: Session AVL-Trees broken

Makarius makarius at sketis.net
Wed Dec 12 11:47:48 CET 2012

On Wed, 12 Dec 2012, Jasmin Christian Blanchette wrote:

> Right now I am experiencing lots of failures -- typically Z3 3.2 
> returning with error code 112. I don't know if it's an instance of the 
> same bug, but as long as this is broken it's hard to know.

I've seen spurious error 112 myself when I tried Z3 3.2 vs. 4.0 recently. 
I could not pin it down exactly, so I merely left it on my private TODO 
list to see again later.  There might be a slight tendency of such 
failures on Mac OS X, but this is just speculation.


More information about the isabelle-dev mailing list