But the situation is worse in Isabelle2019-RC2: I just tried it once again:In a theory file with 400 smt calls, I got 20 errors with Isabelle2019-RC2 and none with Isabelle2018.
Fabian On 5/14/2019 2:53 PM, Makarius wrote:
On 14/05/2019 13:54, Fabian Immler wrote:With Isabelle2019-RC2 on Windows 10, I get sporadic failures of the smt method.I have seen such failures sporadically on Linux, too. The Z3 setup is unchanged: the situation should be the same as Isabelle2018 (see also http://isabelle.in.tum.de/repos/isabelle/rev/1463c4996fb2). Note that I don't understand the details of Z3 / smt myself. Sascha Boehme had a look at it recently, but I am unsure if there will be an update for the Isabelle2019 release (there are still a few weeks left). Makarius
Description: S/MIME Cryptographic Signature