projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0b77c62) | patch
Minor improvements for entailment test (#8663)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 27 Apr 2022 00:01:39 +0000 (19:01 -0500)
committerGitHub <noreply@github.com>
Wed, 27 Apr 2022 00:01:39 +0000 (00:01 +0000)
commit7d7cfa23ae02e736d96f98c55313ca5ea598fc73
treea3115c0ceec39d39137ca260167662c8230559d5tree
parent0b77c620f11d51a3a061b84a06a45c1a3ec53926commit | diff
Minor improvements for entailment test (#8663)

Makes some minor improvements to the existing (non-incremental) entailment tests, based on comparing with a new implementation.
src/theory/quantifiers/entailment_check.cpp diff | blob | history