projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6a11c95) | patch
Fix maximum value for pedantic proof level (#8246)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 11 Mar 2022 21:09:53 +0000 (15:09 -0600)
committerGitHub <noreply@github.com>
Fri, 11 Mar 2022 21:09:53 +0000 (21:09 +0000)
commit27d2b3463c0da8e70ccacbb79efb267281ffd670
tree071d55e4a47c8314b38417c8ed874a9d75495e08tree
parent6a11c95d0e4b8536794329b6bc0d760a965177f0commit | diff
Fix maximum value for pedantic proof level (#8246)

Fixes cvc5/cvc5-projects#357.
Now gives:
(error "Error in option parsing: proof-pedantic = 5773657586652532005 is not a legal setting, value should be at most 100.")
src/options/proof_options.toml diff | blob | history
src/smt/proof_manager.cpp diff | blob | history