diff options
Diffstat (limited to 'contrib/run-script-smtcomp2019-model-validation')
| -rwxr-xr-x | contrib/run-script-smtcomp2019-model-validation | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/run-script-smtcomp2019-model-validation b/contrib/run-script-smtcomp2019-model-validation index f4b812fd6..eec17294d 100755 --- a/contrib/run-script-smtcomp2019-model-validation +++ b/contrib/run-script-smtcomp2019-model-validation @@ -14,7 +14,7 @@ function finishwith { case "$logic" in QF_BV) - finishwith --bv-div-zero-const --bv-intro-pow2 --bitblast=eager --bv-sat-solver=cadical --bv-eq-slicer=auto --no-bv-abstraction + finishwith --bv-div-zero-const --bitblast=eager --bv-sat-solver=cadical --no-bv-abstraction ;; *) # just run the default |