projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7adb6fc) | patch
Fix for assertion failure:
authorClark Barrett <barrett@cs.nyu.edu>
Sat, 13 Jun 2015 17:21:40 +0000 (10:21 -0700)
committerClark Barrett <barrett@cs.nyu.edu>
Sat, 13 Jun 2015 17:21:40 +0000 (10:21 -0700)
commit393d567aa6dc22cb3f4b858d84201cf7920c872d
tree41722fa5e25f6219cb3deec9d0a2e35b6ad836d2tree
parent7adb6fc6f96a748ce633a8eac460ed75b48f5b0dcommit | diff
Fix for assertion failure:
smt_engine.cpp:1992: Rewriter::rewrite(d_assertions[i]) == d_assertions[i]
when --ite-simp and --repeat-simp are on
src/theory/theory_engine.cpp diff | blob | history