projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 5217013)
[SMT-COMP2019] Better strings configuration (#3010)
authorAndres Noetzli <andres.noetzli@gmail.com>
Sat, 18 May 2019 03:35:27 +0000 (20:35 -0700)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sat, 18 May 2019 03:35:27 +0000 (22:35 -0500)
contrib/run-script-smtcomp2019 patch | blob | history

diff --git a/contrib/run-script-smtcomp2019 b/contrib/run-script-smtcomp2019
index 849df0a6b41544325398f2527589192cd9abcdf9..4138decd644f219c42e41e18fc2c5d1455a99826 100644 (file)
--- a/contrib/run-script-smtcomp2019
+++ b/contrib/run-script-smtcomp2019
@@ -135,9 +135,9 @@ 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
+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
   ;;
 QF_ABVFP)
   finishwith