From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Wed, 30 May 2018 17:49:46 +0000 (-0500)
Subject: Draft run script for strings smt comp 2018. (#2016)
X-Git-Tag: cvc5-1.0.0~4998
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3b110a7a599011deca7bececb3622507f31c3527;p=cvc5.git

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

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