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 /library_versions | |
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 'library_versions')
0 files changed, 0 insertions, 0 deletions