projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d7e709d) | patch
[proofs] Make sure --proof-check=... is no-op when not checking proofs (#7638)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Tue, 16 Nov 2021 17:51:25 +0000 (14:51 -0300)
committerGitHub <noreply@github.com>
Tue, 16 Nov 2021 17:51:25 +0000 (17:51 +0000)
commit6e9aa79dc721158a0a6b0503f376727b7341ff5d
tree623f14c4d82970d37eef2cd4ac2d1e20c7f47167tree
parentd7e709d60b5a9923ac56f0948dd9e3b26b4b3205commit | diff
[proofs] Make sure --proof-check=... is no-op when not checking proofs (#7638)

Fixes cvc5/cvc5-projects#342
src/smt/solver_engine.cpp diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/proofs/proj-issue342-eager-checking-no-proof-checking.smt2 [new file with mode: 0644] blob