projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bbbe2f3) | patch
Fix cvc5-projects issue 358 (#7804)
authormudathirmahgoub <mudathirmahgoub@gmail.com>
Tue, 14 Dec 2021 23:09:25 +0000 (17:09 -0600)
committerGitHub <noreply@github.com>
Tue, 14 Dec 2021 23:09:25 +0000 (17:09 -0600)
commit42ea81197ca20d3fed29c2d461176dfec5270a27
treee3a44d8b93fa70ec1d17c0e0581f2565c54bd90atree
parentbbbe2f3ebbd7175930054cca12c3e5e32cd0cbd9commit | diff
Fix cvc5-projects issue 358 (#7804)

This PR fixes issue cvc5/cvc5-projects#358 which is caused by unregistered terms in the equality engine of bags
src/theory/bags/theory_bags.cpp diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress1/bags/murxla3.smt2 [new file with mode: 0644] blob