diff options
Diffstat (limited to 'src/theory')
| -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 |