diff options
| author |  Dan Liew <daniel.liew@imperial.ac.uk> | 2014-09-19 13:36:18 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-09-19 13:36:18 +0100 |
| commit | ac31d6bb389e4db49f268bf39c644fec2411ce67 (patch) | |
| tree | bdf320713be7bd9a61312ac7229e9683fd4004f0 /Test/houdini | |
| parent | f909bceb37a15c2a99668aa56dfefc321cff074a (diff) | |
Patch by Jeroen Ketema.
Only set produce-unsat-cores in the case /explainHoudini is passed. This
allows contract inference to be used with solvers that do no support unsat
cores, as long as no explanation of the Houdini run is required.
Diffstat (limited to 'Test/houdini')
0 files changed, 0 insertions, 0 deletions