From d803fada76b1c45c3da6960865fdc8d061c7b680 Mon Sep 17 00:00:00 2001 From: Liana Hadarean Date: Sat, 30 Mar 2013 23:47:03 -0400 Subject: [PATCH] changed option to run inequality solver by default --- src/theory/bv/options | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.30.2