longer timeout to get more predictable behaviour

uuverifiers · Aug 26, 2024 · e8d4044 · e8d4044
1 parent 8c074f7
commit e8d4044
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/regression-tests/horn-adt/runtests b/regression-tests/horn-adt/runtests
@@ -26,7 +26,7 @@ TESTS="de-brujin-bug.smt2"
 for name in $TESTS; do
     echo
     echo $name
-    $LAZABS -pngNo -ssol -cex "$@" $name 2>&1 | grep -v "^Elapsed Time"
+    $LAZABS -pngNo -ssol -cex -abstractTO:4 "$@" $name 2>&1 | grep -v "^Elapsed Time"
 done
 
 # Examples with currently unstable output, do not show the counterexample