diff options
| author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2021-02-22 16:03:22 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-22 16:03:22 -0300 |
| commit | a2d72a1fafccbeaeafec32f85776b03077dbb0fe (patch) | |
| tree | bea016dc86d286d498e33c2a3f728ba746681fed /src/options | |
| parent | dea7a1fc8360735f90618f005509306c7c45bd30 (diff) | |
[proof-new] Optionally print conclusion in the AST proof (#5954)
Adds an option to optionally print conclusion in the AST proof.
Diffstat (limited to 'src/options')
| -rw-r--r-- | src/options/proof_options.toml | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/options/proof_options.toml b/src/options/proof_options.toml index 9db541e27..c744b237b 100644 --- a/src/options/proof_options.toml +++ b/src/options/proof_options.toml @@ -1,3 +1,12 @@ id = "PROOF" name = "Proof" header = "options/proof_options.h" + +[[option]] + name = "proofPrintConclusion" + category = "regular" + long = "proof-print-conclusion" + type = "bool" + default = "false" + read_only = true + help = "Print conclusion of proof steps when printing AST" |