Add timeouts to scripts

VeriFIT · Oct 23, 2023 · da08082 · da08082
1 parent c18480f
commit da08082
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 3 deletions.
diff --git a/run_all.sh b/run_all.sh
@@ -29,7 +29,8 @@ usage() { {
         [ $# -gt 0 ] && echo "error: $1"
         echo "usage: ./run_all.sh [opt1, ..., optn]"
         echo "options:"
-        echo "  -t|--test-run               will conduct a test run (5s timeout, only 1 instance per benchmark)"
+        echo "     --test-run               will conduct a test run (5s timeout, only 1 instance per benchmark)"
+        echo "  -t|--timeout                will set a timeout to <INT> seconds (default 60s)"
         echo "  -m|--methods                will measure only selected tools"
         echo "  -e|--exclude                will not measure selected tools"
         echo "  -j|--jobs                   will run only number of jobs"
@@ -53,7 +54,7 @@ while [ $# -gt 0 ]; do
         -h|--help)
             usage
             exit 0;;
-        -t|--test-run)
+        --test-run)
             TIMEOUT=5
             TEST_RUN="--test-run"
             shift 1;;
@@ -63,6 +64,9 @@ while [ $# -gt 0 ]; do
         -m|--methods)
             METHODS="-m $2"
             shift 2;;
+        -t|--timeout)
+            TIMEOUT=$2
+            shift 2;;
         -e|--exclude)
             EXCLUDE="-e $2"
             shift 2;;

diff --git a/run_smoke_test.sh b/run_smoke_test.sh
@@ -1,2 +1,2 @@
 #!/bin/bash
-./run_all.sh --test-run --jobs 1 --email-filter --timeout 10
+./run_all.sh --test-run --jobs 1 --b-smt --timeout 60