projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a20a4d6) | patch
Fix issue 8959 (#8962)
authormudathirmahgoub <mudathirmahgoub@gmail.com>
Mon, 18 Jul 2022 13:46:39 +0000 (08:46 -0500)
committerGitHub <noreply@github.com>
Mon, 18 Jul 2022 13:46:39 +0000 (08:46 -0500)
commitf069c8ea7b4c57290c2e9462b9e388d7ba4cb798
tree61936685512a674db1eb8bc869b49cdb2bc1eb5dtree
parenta20a4d6e407c68c8444a2ee8ce805eea131bcbeccommit | diff
Fix issue 8959 (#8962)

This PR fixes issue #8959 which happens because group terms that are not representatives are not registered in the solver state.
src/theory/bags/solver_state.cpp diff | blob | history
src/theory/bags/solver_state.h diff | blob | history
src/theory/bags/theory_bags.cpp diff | blob | history
test/regress/cli/CMakeLists.txt diff | blob | history
test/regress/cli/regress1/bags/issue_8959.smt2 [new file with mode: 0644] blob