Am 12.12.2012 um 11:47 schrieb Makarius: > 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.
Hm... I'll try hard to investigate this this month -- hopefully once the other issue is solved. The Z3 support is too important to me personally, so if nobody jumps in, I'll do it. Jasmin _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
