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/proof | |
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/proof')
0 files changed, 0 insertions, 0 deletions