projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ad24cbd) | patch
turn off extra-checking (which does extra theory-rewriter checking); it was enabled...
authorMorgan Deters <mdeters@gmail.com>
Fri, 20 Aug 2010 00:00:09 +0000 (00:00 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 20 Aug 2010 00:00:09 +0000 (00:00 +0000)
commit826cdda16314c240ca6e9c2d524a5fc107d6d899
tree811d1dfe49f39268b9ffbf2397a4e76f230d7640tree
parentad24cbdb3462b2b2dd312aab2f1f33d9bbcac00ecommit | diff
turn off extra-checking (which does extra theory-rewriter checking); it was enabled by mistake in the last commit
test/regress/run_regression diff | blob | history