projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 77d0bec) | patch
Fix proof checker for SUBS (#8578)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 7 Apr 2022 12:29:53 +0000 (07:29 -0500)
committerGitHub <noreply@github.com>
Thu, 7 Apr 2022 12:29:53 +0000 (12:29 +0000)
commit016892c3ac5a17dad880fe361f7766ff86bdeb9c
tree8243e50b35e51c20f7d3ca2880949a2815759827tree
parent77d0bec48a745e3c4acd65085f9c59bdfceed6c0commit | diff
Fix proof checker for SUBS (#8578)

Could lead to proof checking failures when using `--proof-granularity=rewrite`
src/theory/builtin/proof_checker.cpp diff | blob | history