summaryrefslogtreecommitdiff
path: root/contrib/competitions/smt-comp/run-script-smtcomp-current
diff options
context:
space:
mode:
Diffstat (limited to 'contrib/competitions/smt-comp/run-script-smtcomp-current')
-rwxr-xr-xcontrib/competitions/smt-comp/run-script-smtcomp-current4
1 files changed, 2 insertions, 2 deletions
diff --git a/contrib/competitions/smt-comp/run-script-smtcomp-current b/contrib/competitions/smt-comp/run-script-smtcomp-current
index 8a1d674ed..c7f9d0a71 100755
--- a/contrib/competitions/smt-comp/run-script-smtcomp-current
+++ b/contrib/competitions/smt-comp/run-script-smtcomp-current
@@ -141,8 +141,8 @@ QF_ALIA)
finishwith --decision=justification-stoponly --no-arrays-eager-index --arrays-eager-lemmas
;;
QF_S|QF_SLIA)
- trywith 300 --strings-exp --rewrite-divk --lang=smt2.6.1 --strings-fmf
- finishwith --strings-exp --rewrite-divk --lang=smt2.6.1
+ trywith 300 --strings-exp --rewrite-divk --strings-fmf
+ finishwith --strings-exp --rewrite-divk
;;
QF_ABVFP)
finishwith --fp-exp
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback