projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a87df2b) | patch
Remove assertion related to CEGQI dependency lemmas (#5559)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 2 Dec 2020 01:12:01 +0000 (19:12 -0600)
committerGitHub <noreply@github.com>
Wed, 2 Dec 2020 01:12:01 +0000 (17:12 -0800)
commitfc92c8a035b43733ba50b7672ae40e97dcd9e518
tree7c56f83f96c83b70c50a44984363b70db720bfc6tree
parenta87df2bb60a8739d4eb24b60efca79f8d2b7d806commit | diff
Remove assertion related to CEGQI dependency lemmas (#5559)

This assertion does not hold when we mix --sygus-inst with normal CEGQI.

Should fix the nightlies.
src/theory/quantifiers/cegqi/inst_strategy_cegqi.cpp diff | blob | history