Draft run script for strings smt comp 2018. (#2016)

diff --git a/contrib/run-script-smtcomp2018 b/contrib/run-script-smtcomp2018
index 9057282e5f73f7fd5e2203434149912c8672823c..6034fb83b5597e6bace3d99ea3e52c2a50ed663b 100644 (file)
--- 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