diff options
author | 2015-03-10 14:56:47 +0000 | |
---|---|---|
committer | 2015-03-10 14:56:47 +0000 | |
commit | 97fde1f2fba76170588bea87af5d693494102d60 (patch) | |
tree | e6f1e42b090108df5ce9bf8d2f2cdde86301e098 /Source/AbsInt | |
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 'Source/AbsInt')
0 files changed, 0 insertions, 0 deletions