diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-11-28 21:18:05 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-11-28 21:18:05 +0000 |
| commit | cce79b9667a4fd067e75d19926b22f0689756daa (patch) | |
| tree | 820c827e2ca1d0dbd38fdad33599ae1fe2eaabd2 /src/cvc4.i | |
| parent | b20f2417722f00f8849d91c1ed8a18599bc17850 (diff) | |
Attempted "quick-fix" for QF_UF performance regression since Boolean terms added.
Sharing is turned on only when Boolean terms are detected during preprocessing. QF_UF problems (and others)
that don't use any Boolean terms won't have BV turned on.
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'src/cvc4.i')
0 files changed, 0 insertions, 0 deletions