diff options
| author |  Dan Liew <daniel.liew@imperial.ac.uk> | 2015-03-10 14:56:47 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-03-10 14:56:47 +0000 |
| commit | 97fde1f2fba76170588bea87af5d693494102d60 (patch) | |
| tree | e6f1e42b090108df5ce9bf8d2f2cdde86301e098 /Test/clean.py | |
| parent | dca03793b807bbd066d6886c97ac7131f80508d4 (diff) | |
Work around bug in Z3 4.3.2 and newer (https://z3.codeplex.com/workitem/188)
where setting produce-unsat-cores to true has no effect unless the option is set last.
This makes the Test/houdini/testUnsatCore.bpl test pass under Linux using Z3 4.3.2
Diffstat (limited to 'Test/clean.py')
0 files changed, 0 insertions, 0 deletions