diff options
| author | Liana Hadarean <lianahady@gmail.com> | 2013-03-30 23:47:03 -0400 |
|---|---|---|
| committer | Liana Hadarean <lianahady@gmail.com> | 2013-03-30 23:47:03 -0400 |
| commit | d803fada76b1c45c3da6960865fdc8d061c7b680 (patch) | |
| tree | e23d0cec743d1bb506ef742e9daa99211d0ca1cd /src | |
| parent | f12e84734aa26c602b1cebba21e8024fa32b7f00 (diff) | |
changed option to run inequality solver by default
Diffstat (limited to 'src')
| -rw-r--r-- | src/theory/bv/options | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/bv/options b/src/theory/bv/options index cdc02c9ad..2e53b029c 100644 --- a/src/theory/bv/options +++ b/src/theory/bv/options @@ -14,7 +14,7 @@ option bitvectorShareLemmas --bitblast-share-lemmas bool option bitvectorEagerFullcheck --bitblast-eager-fullcheck bool check the bitblasting eagerly -option bitvectorInequalitySolver --bv-inequality-solver bool +option bitvectorInequalitySolver --bv-inequality-solver bool :default true turn on the inequality solver for the bit-vector theory option bitvectorCoreSolver --bv-core-solver bool |