diff options
| author | Clark Barrett <barrett@cs.nyu.edu> | 2016-05-26 21:03:39 -0700 |
|---|---|---|
| committer | Clark Barrett <barrett@cs.nyu.edu> | 2016-05-26 21:03:39 -0700 |
| commit | 53eb936b5cf34f92f59fcb42af8e5281db826d98 (patch) | |
| tree | 2138fc9137cec6116218c133eda721d413d1d0e7 /contrib | |
| parent | 979e5be3e1b2dae62b961b1c1fef72aafd3b11c0 (diff) | |
Fixed bug in run script
Diffstat (limited to 'contrib')
| -rw-r--r-- | contrib/run-script-smtcomp2016 | 1 |
1 files changed, 1 insertions, 0 deletions
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 |