projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 979e5be)
Fixed bug in run script
authorClark Barrett <barrett@cs.nyu.edu>
Fri, 27 May 2016 04:03:39 +0000 (21:03 -0700)
committerClark Barrett <barrett@cs.nyu.edu>
Fri, 27 May 2016 04:03:39 +0000 (21:03 -0700)
contrib/run-script-smtcomp2016 patch | blob | history

diff --git a/contrib/run-script-smtcomp2016 b/contrib/run-script-smtcomp2016
index 5c14f79033854275c0d6f15d629f5943c905ee01..58b281b4c4d45ba25d899f86dd699f6f9e3e1770 100644 (file)
--- a/contrib/run-script-smtcomp2016
+++ b/contrib/run-script-smtcomp2016
@@ -92,6 +92,7 @@ QF_AUFBV)
   trywith 600
   finishwith --decision=justification-stoponly
   ;;
+QF_ABV)
   trywith 50 --ite-simp --simp-with-care --repeat-simp --arrays-weak-equiv
   trywith 500 --arrays-weak-equiv
   finishwith --ite-simp --simp-with-care --repeat-simp --arrays-weak-equiv