diff options
author | Diego Della Rocca de Camargos <diegodellarocc@gmail.com> | 2021-03-14 11:55:55 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-14 11:55:55 -0300 |
commit | 5fccede7df78196c6153300d956236ac28daa8f9 (patch) | |
tree | 0ff97674a5677384f87941bea19ce1af45001e68 /src/options/proof_options.toml | |
parent | 5074aeb52163135386c71e802ebc9f97fb5c9013 (diff) |
[proof-new] Adding a dot printer for proof nodes (#6144)
Adds a dot printer for proof nodes. Also adds an option to choose the proof format (as a mode).
Signed-off-by: Diego Della Rocca de Camargos <diegodellarocc@gmail.com>
Diffstat (limited to 'src/options/proof_options.toml')
-rw-r--r-- | src/options/proof_options.toml | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/src/options/proof_options.toml b/src/options/proof_options.toml index 631a27604..ff03e70f5 100644 --- a/src/options/proof_options.toml +++ b/src/options/proof_options.toml @@ -3,6 +3,21 @@ name = "Proof" header = "options/proof_options.h" [[option]] + name = "proofFormatMode" + category = "regular" + long = "proof-format-mode=MODE" + type = "ProofFormatMode" + default = "NONE" + help = "select language of proof output" + help_mode = "Proof format modes." +[[option.mode.NONE]] + name = "none" + help = "Do not translate proof output" +[[option.mode.DOT]] + name = "dot" + help = "Output DOT proof" + +[[option]] name = "proofPrintConclusion" category = "regular" long = "proof-print-conclusion" |