diff options
author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2020-12-23 20:10:34 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-23 17:10:34 -0600 |
commit | a539b63c369544ed08a1fa7fa4c8e3d437be3766 (patch) | |
tree | 033ba2288164e43c8d91c772fd63d0905d74a6e8 /src/options/smt_options.toml | |
parent | a04226ef3519c4fdce7bd6c3ff92f18bf6bee83c (diff) |
Dumping unsat cores after check-sat-assuming/QUERY (#5724)
Previously we were not printing unsat cores when passing the option to dump them if we used the check-sat-assuming command or the QUERY command. This commit fixes this.
It also kills the redundant dump-synth option, as it simplifies a bit what is going on in the command executor.
Diffstat (limited to 'src/options/smt_options.toml')
-rw-r--r-- | src/options/smt_options.toml | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/options/smt_options.toml b/src/options/smt_options.toml index b01b7780f..247559c91 100644 --- a/src/options/smt_options.toml +++ b/src/options/smt_options.toml @@ -233,14 +233,6 @@ header = "options/smt_options.h" help = "use sygus print callbacks to print sygus terms in the user-provided form (disable for debugging)" [[option]] - name = "dumpSynth" - category = "regular" - long = "dump-synth" - type = "bool" - default = "false" - help = "output solution for synthesis conjectures after every UNSAT/VALID response" - -[[option]] name = "unsatCores" category = "regular" long = "produce-unsat-cores" |