From 53eb936b5cf34f92f59fcb42af8e5281db826d98 Mon Sep 17 00:00:00 2001 From: Clark Barrett Date: Thu, 26 May 2016 21:03:39 -0700 Subject: Fixed bug in run script --- contrib/run-script-smtcomp2016 | 1 + 1 file changed, 1 insertion(+) (limited to 'contrib') 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 -- cgit v1.2.3