projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e3484f9) | patch
Disable a BV rewriter statistic (after checking with Liana) that was static,
authorMorgan Deters <mdeters@gmail.com>
Thu, 8 Dec 2011 19:23:45 +0000 (19:23 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 8 Dec 2011 19:23:45 +0000 (19:23 +0000)
commit67dc3b98a30a6ad2f93743f3313ba5f4149af389
tree3c7659316f72d0dc080920b061905ff462afc0f9tree
parente3484f9960bb40518e7db4869f5722ec1cf0b4edcommit | diff
Disable a BV rewriter statistic (after checking with Liana) that was static,
and thus caused big problems with programs that create two SmtEngines in
one process.

If we need state like this in the rewriters, we'll need to make them
nonstatic.
src/theory/bv/theory_bv_rewrite_rules.h diff | blob | history