[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Workaround

I just tried stopping a Z3 proof by clicking the appropriate button on a Windows machine (so the prover is run under Cygwin), and it worked fine.  Moreover, the default timeout for Z3 should make it stop after about 5 or 10 seconds.  It would help if someone else could try stopping a Z3 proof on Linux to see if it is a general problem on Linux or if it happens only on FL's machine.