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

[Makarius]

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.


 	Makarius