diff options
Diffstat (limited to 'src/options/proof_options.toml')
| -rw-r--r-- | src/options/proof_options.toml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/options/proof_options.toml b/src/options/proof_options.toml index 36891fd51..3eb32060e 100644 --- a/src/options/proof_options.toml +++ b/src/options/proof_options.toml @@ -90,3 +90,11 @@ name = "Proof" [[option.mode.DSL_REWRITE]] name = "dsl-rewrite" help = "Allow DSL rewrites and evaluation steps, expand macros, rewrite, substitution, and theory rewrite steps." + +[[option]] + name = "proofAletheResPivots" + category = "regular" + long = "proof-alethe-res-pivots" + type = "bool" + default = "false" + help = "Add pivots to Alethe resolution steps" |