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/system/two_smt_engines.cpp | |
| 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/system/two_smt_engines.cpp')
0 files changed, 0 insertions, 0 deletions