diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-06-28 10:30:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-28 10:30:31 +0200 |
| commit | 74945dd738fca316f319771426646c4da327f662 (patch) | |
| tree | b6c129246c2827bf41373bc8b5fb9090897d6d0d /tests/aiger/run-test.sh | |
| parent | 1c7ce251f383a2c6734fc7ca778c5234e0c97a2a (diff) | |
| parent | 6f1c1379891651b0d110e35fb2c73fd78fde3f69 (diff) | |
| download | yosys-74945dd738fca316f319771426646c4da327f662.tar.gz yosys-74945dd738fca316f319771426646c4da327f662.tar.bz2 yosys-74945dd738fca316f319771426646c4da327f662.zip | |
Merge pull request #1146 from gsomlo/gls-test-abc-ext
tests: use optional ABCEXTERNAL when specified
Diffstat (limited to 'tests/aiger/run-test.sh')
| -rwxr-xr-x | tests/aiger/run-test.sh | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/tests/aiger/run-test.sh b/tests/aiger/run-test.sh index 5246c1b48..deaf48a3d 100755 --- a/tests/aiger/run-test.sh +++ b/tests/aiger/run-test.sh @@ -2,6 +2,16 @@ set -e +OPTIND=1 +abcprog="../../yosys-abc" # default to built-in version of abc +while getopts "A:" opt +do + case "$opt" in + A) abcprog="$OPTARG" ;; + esac +done +shift "$((OPTIND-1))" + # NB: *.aag and *.aig must contain a symbol table naming the primary # inputs and outputs, otherwise ABC and Yosys will name them # arbitrarily (and inconsistently with each other). @@ -11,7 +21,7 @@ for aag in *.aag; do # (which would have been created by the reference aig2aig utility, # available from http://fmv.jku.at/aiger/) echo "Checking $aag." - ../../yosys-abc -q "read -c ${aag%.*}.aig; write ${aag%.*}_ref.v" + $abcprog -q "read -c ${aag%.*}.aig; write ${aag%.*}_ref.v" ../../yosys -qp " read_verilog ${aag%.*}_ref.v prep @@ -28,7 +38,7 @@ done for aig in *.aig; do echo "Checking $aig." - ../../yosys-abc -q "read -c $aig; write ${aig%.*}_ref.v" + $abcprog -q "read -c $aig; write ${aig%.*}_ref.v" ../../yosys -qp " read_verilog ${aig%.*}_ref.v prep |