diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-08-06 13:32:29 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-08-06 13:32:29 +0200 |
| commit | 88a67afa7d044bd1abb952d7c709876e4159db1a (patch) | |
| tree | a113ab33281dc964bb1712c337e2a815decc2855 /tests/tools/autotest.sh | |
| parent | 90c17aad56b0bf4b3ace5dea8c2d8555b52d4bfb (diff) | |
| download | yosys-88a67afa7d044bd1abb952d7c709876e4159db1a.tar.gz yosys-88a67afa7d044bd1abb952d7c709876e4159db1a.tar.bz2 yosys-88a67afa7d044bd1abb952d7c709876e4159db1a.zip | |
Added "test_autotb -seed" (and "autotest.sh -S")
Diffstat (limited to 'tests/tools/autotest.sh')
| -rwxr-xr-x | tests/tools/autotest.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/tests/tools/autotest.sh b/tests/tools/autotest.sh index 82fecfd80..a0ed976fd 100755 --- a/tests/tools/autotest.sh +++ b/tests/tools/autotest.sh @@ -19,7 +19,7 @@ if [ ! -f $toolsdir/cmp_tbdata -o $toolsdir/cmp_tbdata.c -nt $toolsdir/cmp_tbdat ( set -ex; ${CC:-gcc} -Wall -o $toolsdir/cmp_tbdata $toolsdir/cmp_tbdata.c; ) || exit 1 fi -while getopts xmGl:wkjvref:s:p:n: opt; do +while getopts xmGl:wkjvref:s:p:n:S: opt; do case "$opt" in x) use_xsim=true ;; @@ -50,8 +50,10 @@ while getopts xmGl:wkjvref:s:p:n: opt; do scriptopt="$OPTARG" ;; n) autotb_opts="$autotb_opts -n $OPTARG" ;; + S) + autotb_opts="$autotb_opts -seed $OPTARG" ;; *) - echo "Usage: $0 [-x|-m] [-w] [-k] [-j] [-v] [-r] [-e] [-l libs] [-f frontend] [-s script] [-p cmdstring] verilog-files\n" >&2 + echo "Usage: $0 [-x|-m] [-G] [-w] [-k] [-j] [-v] [-r] [-e] [-l libs] [-f frontend] [-s script] [-p cmdstring] [-n iters] [-S seed] verilog-files\n" >&2 exit 1 esac done |