diff options
author | Andres Notzli <andres.noetzli@gmail.com> | 2016-10-19 02:58:59 -0700 |
---|---|---|
committer | Andres Notzli <andres.noetzli@gmail.com> | 2016-10-19 02:58:59 -0700 |
commit | eed6f3a1fee9cbfe68e15acb50a84cf2cab7bc2c (patch) | |
tree | 6addb6865f825c2846a76329ccad8329f4a37f4f /test/regress/regress2/bmc-ibm-7.smt | |
parent | 9da056f71c0c4a8ed5afd01c300e9c86cfcf5601 (diff) |
Fix minor bug and typo in boolean rewriterfix_rewrite
One of the rewrites in the boolean rewriter had the condition `n[0] ==
tt && n[0] == ff`, which could never be true. Another rewrite covers the
same case but returns a `REWRITE_AGAIN` instead of a `REWRITE_DONE`.
This commit also fixes a minor typo.
Diffstat (limited to 'test/regress/regress2/bmc-ibm-7.smt')
0 files changed, 0 insertions, 0 deletions