From 3b110a7a599011deca7bececb3622507f31c3527 Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Wed, 30 May 2018 12:49:46 -0500 Subject: [PATCH] Draft run script for strings smt comp 2018. (#2016) --- contrib/run-script-smtcomp2018 | 4 ++++ 1 file changed, 4 insertions(+) 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 -- 2.30.2