diff options
Diffstat (limited to 'tests/fsm/run-test.sh')
-rwxr-xr-x | tests/fsm/run-test.sh | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/tests/fsm/run-test.sh b/tests/fsm/run-test.sh index 42389233..cf506470 100755 --- a/tests/fsm/run-test.sh +++ b/tests/fsm/run-test.sh @@ -5,10 +5,22 @@ set -e +OPTIND=1 +count=100 +seed="" # default to no seed specified +while getopts "c:S:" opt +do + case "$opt" in + c) count="$OPTARG" ;; + S) seed="-S $OPTARG" ;; + esac +done +shift "$((OPTIND-1))" + rm -rf temp mkdir -p temp echo "generating tests.." -python3 generate.py +python3 generate.py -c $count $seed { all_targets="all_targets:" |