projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f069c8e) | patch
Fix global-declarations with abduction (#8961)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 18 Jul 2022 18:09:43 +0000 (13:09 -0500)
committerGitHub <noreply@github.com>
Mon, 18 Jul 2022 18:09:43 +0000 (18:09 +0000)
commit32a4d1cc8ba9b51be4c2af4aa5ba5025c645a2e0
tree74d7a37715bdb9442fdfd410f8715f08110a9341tree
parentf069c8ea7b4c57290c2e9462b9e388d7ba4cb798commit | diff
Fix global-declarations with abduction (#8961)

FYI @arjunvish

The same issue would lead to issues when using global-declarations with interpolation or block-models.
src/smt/abduction_solver.cpp diff | blob | history
src/smt/preprocessor.cpp diff | blob | history
src/smt/solver_engine.cpp diff | blob | history
src/theory/sets/theory_sets_private.cpp diff | blob | history
test/regress/cli/CMakeLists.txt diff | blob | history
test/regress/cli/regress1/abduction/arjun-global-dec.smt2 [new file with mode: 0644] blob