diff options
Diffstat (limited to 'contrib/competitions/smt-comp/run-script-smtcomp-current')
| -rwxr-xr-x | contrib/competitions/smt-comp/run-script-smtcomp-current | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/contrib/competitions/smt-comp/run-script-smtcomp-current b/contrib/competitions/smt-comp/run-script-smtcomp-current index db72b3a6b..ecc6ce5fe 100755 --- a/contrib/competitions/smt-comp/run-script-smtcomp-current +++ b/contrib/competitions/smt-comp/run-script-smtcomp-current @@ -139,10 +139,7 @@ QF_ABV) trywith 500 --arrays-weak-equiv finishwith --ite-simp --simp-with-care --repeat-simp --arrays-weak-equiv ;; -QF_UFBV) - finishwith --bitblast=eager - ;; -QF_BV) +QF_BV|QF_UFBV) finishwith --bitblast=eager --bv-assert-input ;; QF_AUFLIA) |