diff options
| author | Ahmed Irfan <ahmedirfan1983@gmail.com> | 2014-01-03 10:54:54 +0100 |
|---|---|---|
| committer | Ahmed Irfan <ahmedirfan1983@gmail.com> | 2014-01-03 10:54:54 +0100 |
| commit | 06482c046bcab4e2b9603f8954ce0f2fd501a73b (patch) | |
| tree | d160ad05402768e4f468ff0685593b81658e6a5a /tests/tools/autotest.sh | |
| parent | 5da334fc2efd66c8a5efde925bb18212c34d0cef (diff) | |
| parent | fb2bf934dc6d2c969906b350c9a1b09a972bfdd7 (diff) | |
| download | yosys-06482c046bcab4e2b9603f8954ce0f2fd501a73b.tar.gz yosys-06482c046bcab4e2b9603f8954ce0f2fd501a73b.tar.bz2 yosys-06482c046bcab4e2b9603f8954ce0f2fd501a73b.zip | |
Merge branch 'master' of https://github.com/cliffordwolf/yosys into btor
Diffstat (limited to 'tests/tools/autotest.sh')
| -rwxr-xr-x | tests/tools/autotest.sh | 16 |
1 files changed, 10 insertions, 6 deletions
diff --git a/tests/tools/autotest.sh b/tests/tools/autotest.sh index 5a302bcd4..b1c330d89 100755 --- a/tests/tools/autotest.sh +++ b/tests/tools/autotest.sh @@ -9,13 +9,14 @@ keeprunning=false backend_opts="-noattr -noexpr" kompare_xst=false scriptfiles="" +scriptopt="" toolsdir="$(cd $(dirname $0); pwd)" if [ ! -f $toolsdir/cmp_tbdata -o $toolsdir/cmp_tbdata.c -nt $toolsdir/cmp_tbdata ]; then ( set -ex; gcc -Wall -o $toolsdir/cmp_tbdata $toolsdir/cmp_tbdata.c; ) || exit 1 fi -while getopts iml:wkvrxs: opt; do +while getopts iml:wkvrxs:p: opt; do case "$opt" in i) use_isim=true ;; @@ -30,14 +31,16 @@ while getopts iml:wkvrxs: opt; do v) verbose=true ;; r) - backend_opts="$backend_opts norename" ;; + backend_opts="$backend_opts -norename" ;; x) kompare_xst=true ;; s) [[ "$OPTARG" == /* ]] || OPTARG="$PWD/$OPTARG" scriptfiles="$scriptfiles $OPTARG" ;; + p) + scriptopt="$OPTARG" ;; *) - echo "Usage: $0 [-i] [-w] [-k] [-v] [-r] [-x] [-l libs] [-s script] verilog-files\n" >&2 + echo "Usage: $0 [-i] [-w] [-k] [-v] [-r] [-x] [-l libs] [-s script] [-p cmdstring] verilog-files\n" >&2 exit 1 esac done @@ -147,10 +150,11 @@ do if [ -n "$scriptfiles" ]; then test_passes + elif [ -n "$scriptopt" ]; then + test_passes -p "$scriptopt" else - test_passes -p "hierarchy; proc; memory; opt; fsm; opt" - test_passes -p "hierarchy; proc; memory; opt; fsm; opt; techmap; opt" - # test_passes -p "hierarchy; proc; memory; opt; fsm; opt; techmap -opt; opt; abc; opt" + test_passes -p "hierarchy; proc; opt; memory; opt; fsm; opt" + test_passes -p "hierarchy; proc; opt; memory; opt; fsm; opt; techmap; opt; abc -dff; opt" fi touch ../${bn}.log } |