diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-06-10 06:09:25 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-06-10 06:09:25 +0000 |
| commit | 103d6a6aad30410f8d7546c25c1f5e67f1c334d7 (patch) | |
| tree | d3e2a30a59618d38aa8882b1ef09f82170607283 /src/theory/rewriter.cpp | |
| parent | e761ec344a7c9d9b5bff5f312cdb8932083e0bc8 (diff) | |
adding an assertion to trigger the problem of bug349 and the testcase
bv rewriter apparently deosn't have a proper normal form for equalities
Diffstat (limited to 'src/theory/rewriter.cpp')
0 files changed, 0 insertions, 0 deletions