diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-06-07 23:13:34 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-07 23:13:34 +0200 |
| commit | 7395a8069064c90aa0895607ad45f1165d372684 (patch) | |
| tree | 17db4d2fd97197eb80dc5d2433e39be8f637fafd /tests/tools/autotest.sh | |
| parent | 6d49145497e48bb063ebbed5164b45569e91b5ca (diff) | |
| parent | f48c6920b7aa777c0c569f444e3db88211835cec (diff) | |
| download | yosys-7395a8069064c90aa0895607ad45f1165d372684.tar.gz yosys-7395a8069064c90aa0895607ad45f1165d372684.tar.bz2 yosys-7395a8069064c90aa0895607ad45f1165d372684.zip | |
Merge pull request #1079 from YosysHQ/eddie/fix_read_aiger
Fix read_aiger to really get tested, and fix some uncovered read_aiger issues
Diffstat (limited to 'tests/tools/autotest.sh')
| -rwxr-xr-x | tests/tools/autotest.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/tests/tools/autotest.sh b/tests/tools/autotest.sh index 0a511f29c..23964a751 100755 --- a/tests/tools/autotest.sh +++ b/tests/tools/autotest.sh @@ -146,9 +146,10 @@ do rm -f ${bn}_ref.fir if [[ "$ext" == "v" ]]; then egrep -v '^\s*`timescale' ../$fn > ${bn}_ref.${ext} + elif [[ "$ext" == "aig" ]] || [[ "$ext" == "aag" ]]; then + "$toolsdir"/../../yosys-abc -c "read_aiger ../${fn}; write ${bn}_ref.v" else - "$toolsdir"/../../yosys -f "$frontend $include_opts" -b "verilog" -o ${bn}_ref.v ../${fn} - frontend="verilog -noblackbox" + cp ../${fn} ${bn}_ref.${ext} fi if [ ! -f ../${bn}_tb.v ]; then |