diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-10 10:28:40 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-10 10:28:40 -0700 |
| commit | 1dd7e23a20bcbfdf69f34d5060637da49fce7b46 (patch) | |
| tree | ccf3dbb8f9a3b51f5025135e168dfa6f6070f246 /tests | |
| parent | 58f4b106f3b5914fa00edd59bb2df56d9fe2632e (diff) | |
| parent | a91ea6612a73568782c80bd12ce2875353e2b5c5 (diff) | |
| download | yosys-1dd7e23a20bcbfdf69f34d5060637da49fce7b46.tar.gz yosys-1dd7e23a20bcbfdf69f34d5060637da49fce7b46.tar.bz2 yosys-1dd7e23a20bcbfdf69f34d5060637da49fce7b46.zip | |
Merge remote-tracking branch 'origin/master' into eddie/muxpack
Diffstat (limited to 'tests')
| -rwxr-xr-x | tests/aiger/run-test.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/tests/aiger/run-test.sh b/tests/aiger/run-test.sh index e56d0fa80..f52eb4ac1 100755 --- a/tests/aiger/run-test.sh +++ b/tests/aiger/run-test.sh @@ -2,9 +2,14 @@ set -e +# 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). + for aag in *.aag; do # Since ABC cannot read *.aag, read the *.aig instead - # (which would have been created by the reference aig2aig utility) + # (which would have been created by the reference aig2aig utility, + # available from http://fmv.jku.at/aiger/) ../../yosys-abc -c "read -c ${aag%.*}.aig; write ${aag%.*}_ref.v" ../../yosys -p " read_verilog ${aag%.*}_ref.v |