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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
