[isabelle-dev] AFP: Session AVL-Trees broken
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