diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-11-12 09:08:13 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-12 09:08:13 -0600 |
| commit | 2de877854e590e8edf89ffb1d940cd4c9717f195 (patch) | |
| tree | 8e19970e50c797c6b5691eeb6d84012fcf7d17f5 /src/options/smt_options.toml | |
| parent | 70c0635bf490d237088b6675254408d965468272 (diff) | |
(proof-new) Improve printing and debugging for pedantic checking (#5337)
This improves trace/error messages for proof-new-pedantic, and also merges the proof-new-pedantic-eager with the proof-new-eager-checking option.
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 683fe61bd..54d81eba6 100644 --- a/src/options/smt_options.toml +++ b/src/options/smt_options.toml @@ -157,14 +157,6 @@ header = "options/smt_options.h" help = "assertion failure for any incorrect rule application or untrusted lemma having pedantic level <=N with proof-new" [[option]] - name = "proofNewPedanticEager" - category = "regular" - long = "proof-new-pedantic-eager" - type = "bool" - default = "false" - help = "check pedantic levels eagerly (during proof rule construction) instead of during final proof construction" - -[[option]] name = "proofNewEagerChecking" category = "regular" long = "proof-new-eager-checking" |