From: Clark Barrett <barrett@cs.nyu.edu>
Date: Fri, 27 May 2016 04:03:39 +0000 (-0700)
Subject: Fixed bug in run script
X-Git-Tag: cvc5-1.0.0~6049^2~28
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=53eb936b5cf34f92f59fcb42af8e5281db826d98;p=cvc5.git

Fixed bug in run script
---

diff --git a/contrib/run-script-smtcomp2016 b/contrib/run-script-smtcomp2016
index 5c14f7903..58b281b4c 100644
--- 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