projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 392d4e5) | patch
Improve error for check theory assertions with model (#7679)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 22 Nov 2021 00:49:57 +0000 (18:49 -0600)
committerGitHub <noreply@github.com>
Mon, 22 Nov 2021 00:49:57 +0000 (00:49 +0000)
commit2edfb432a4802281c0d45f741f8b844936ea6632
treef6fc07dc6d08a2bf9d31aeaef58e36133bce765atree
parent392d4e5782e2e896ddbda9bd04be40f7d8436256commit | diff
Improve error for check theory assertions with model (#7679)

Makes it so that we report *all* unsatisfied assertions, not just the first one.
src/theory/theory_engine.cpp diff | blob | history