diff options
| -rw-r--r-- | contrib/run-script-smtcomp2018 | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/contrib/run-script-smtcomp2018 b/contrib/run-script-smtcomp2018 index 9057282e5..6034fb83b 100644 --- a/contrib/run-script-smtcomp2018 +++ b/contrib/run-script-smtcomp2018 @@ -131,6 +131,10 @@ QF_ALIA) trywith 70 --decision=justification --arrays-weak-equiv finishwith --decision=justification-stoponly --no-arrays-eager-index --arrays-eager-lemmas ;; +QF_SLIA) + trywith 500 --strings-exp --rewrite-divk --lang=smt2.6.1 + finishwith --strings-exp --rewrite-divk --lang=smt2.6.1 --strings-fmf + ;; *) # just run the default finishwith |