diff options
Diffstat (limited to 'src/options/smt_options.toml')
| -rw-r--r-- | src/options/smt_options.toml | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/src/options/smt_options.toml b/src/options/smt_options.toml index a0e3014b0..9f9d58aad 100644 --- a/src/options/smt_options.toml +++ b/src/options/smt_options.toml @@ -72,7 +72,6 @@ header = "options/smt_options.h" type = "bool" default = "false" notifies = ["notifyBeforeSearch"] - read_only = true help = "support the get-value and get-model commands" [[option]] @@ -81,7 +80,6 @@ header = "options/smt_options.h" long = "check-models" type = "bool" notifies = ["notifyBeforeSearch"] - links = ["--produce-models", "--produce-assertions"] read_only = true help = "after SAT/INVALID/UNKNOWN, check that the generated model satisfies user assertions" @@ -91,7 +89,6 @@ header = "options/smt_options.h" long = "dump-models" type = "bool" default = "false" - links = ["--produce-models"] read_only = true help = "output models after every SAT/INVALID/UNKNOWN response" @@ -140,7 +137,6 @@ header = "options/smt_options.h" default = "false" predicates = ["proofEnabledBuild"] notifies = ["notifyBeforeSearch"] - read_only = true help = "turn on proof generation" [[option]] @@ -150,7 +146,6 @@ header = "options/smt_options.h" type = "bool" predicates = ["LFSCEnabledBuild"] notifies = ["notifyBeforeSearch"] - links = ["--proof"] help = "after UNSAT/VALID, machine-check the generated proof" [[option]] @@ -159,7 +154,6 @@ header = "options/smt_options.h" long = "dump-proofs" type = "bool" default = "false" - links = ["--proof"] read_only = true help = "output proofs after every UNSAT/VALID response" @@ -224,7 +218,6 @@ header = "options/smt_options.h" category = "regular" long = "check-unsat-cores" type = "bool" - links = ["--produce-unsat-cores"] help = "after UNSAT/VALID, produce and check an unsat core (expensive)" [[option]] @@ -234,8 +227,6 @@ header = "options/smt_options.h" type = "bool" default = "false" notifies = ["notifyBeforeSearch"] - links = ["--produce-unsat-cores"] - read_only = true help = "output unsat cores after every UNSAT/VALID response" [[option]] @@ -245,7 +236,6 @@ header = "options/smt_options.h" type = "bool" default = "false" notifies = ["notifyBeforeSearch"] - links = ["--dump-unsat-cores"] read_only = true help = "dump the full unsat core, including unlabeled assertions" @@ -255,7 +245,6 @@ header = "options/smt_options.h" long = "produce-unsat-assumptions" type = "bool" default = "false" - links = ["--produce-unsat-cores"] predicates = ["proofEnabledBuild"] notifies = ["notifyBeforeSearch"] read_only = true @@ -277,7 +266,6 @@ header = "options/smt_options.h" type = "bool" default = "false" notifies = ["notifyBeforeSearch"] - read_only = true help = "support the get-assignment command" [[option]] |