projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6964385) | patch
Add LFSC to internal proof checker (#8442)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 30 Mar 2022 03:57:41 +0000 (22:57 -0500)
committerGitHub <noreply@github.com>
Wed, 30 Mar 2022 03:57:41 +0000 (03:57 +0000)
commite46533cd87d21988996e1324a37a68f2e60ff8ef
tree67f43dbecd0fb7c957e9a3976121df9290f13ad0tree
parent69643856df08ec52eb4567eef582aa779ac8cbfccommit | diff
Add LFSC to internal proof checker (#8442)

Similar to ALETHE, this was forgotten. Was not causing issues since --proof-check=eager is not used by default.
src/theory/builtin/proof_checker.cpp diff | blob | history