projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ca3787f) | patch
[BV] Fix rewriter policy for `bvneg` (#8196)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 1 Mar 2022 09:07:56 +0000 (01:07 -0800)
committerGitHub <noreply@github.com>
Tue, 1 Mar 2022 09:07:56 +0000 (09:07 +0000)
commit7f67de1dc1492f12e14d46316dcdd680d753b58c
tree3f715e70a4ffc8503420cdbb621123dd33f6b0d5tree
parentca3787fc653a0024a78758f603ea2573b21d4ab2commit | diff
[BV] Fix rewriter policy for `bvneg` (#8196)

Our rewriter was returning `REWRITE_DONE` prematurely for `bvneg`. This
commit makes the status returned more conservative.
src/theory/bv/theory_bv_rewriter.cpp diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/bv/issue8159-1-rewrite-bvneg.smt2 [new file with mode: 0644] blob