projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 656004c) | patch
(proof-new) Fix for CDProof::isSame (#5297)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 20 Oct 2020 21:03:00 +0000 (16:03 -0500)
committerGitHub <noreply@github.com>
Tue, 20 Oct 2020 21:03:00 +0000 (16:03 -0500)
commitf74a8224d363aa8ae4bdc1324ee56306910b5532
treec91e6784ebaa98cb6ab6b41d60802dddfc3fd21ctree
parent656004c54655ab15289d9e7666bda2e1c7bada1ccommit | diff
(proof-new) Fix for CDProof::isSame (#5297)

Did not check for disequalities properly.
src/expr/proof.cpp diff | blob | history