projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 35dea35) | patch
Don't ever call nonclausalSimplify if simplificationMode = NONE (even if
authorClark Barrett <barrett@cs.nyu.edu>
Wed, 6 Jun 2012 21:11:37 +0000 (21:11 +0000)
committerClark Barrett <barrett@cs.nyu.edu>
Wed, 6 Jun 2012 21:11:37 +0000 (21:11 +0000)
commit67903280f8fe6946a36ef9fc08bfc747f74bfbd7
tree4ba788f7758339a15e8377e2e7618c0811f27420tree
parent35dea35f309952919365ee85f991184bddfda514commit | diff
Don't ever call nonclausalSimplify if simplificationMode = NONE (even if
repeatSimp is true)
src/smt/smt_engine.cpp diff | blob | history