diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-05-02 14:16:10 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-02 14:16:10 -0700 |
| commit | 73601554591da7d0034bff916400c5fca5445d13 (patch) | |
| tree | 61f6ae4578c4d68edaaca628a74c76926d9ea18f /tests/aiger/run-test.sh | |
| parent | ca3fc3c882b9a454c48bee7d701fa5cb254ae671 (diff) | |
| parent | da7da4491901e8c76682b6423658debe160771d9 (diff) | |
| download | yosys-73601554591da7d0034bff916400c5fca5445d13.tar.gz yosys-73601554591da7d0034bff916400c5fca5445d13.tar.bz2 yosys-73601554591da7d0034bff916400c5fca5445d13.zip | |
Merge pull request #2013 from YosysHQ/eddie/aiger_fixes
aiger: fixes for ports that have start_offset != 0
Diffstat (limited to 'tests/aiger/run-test.sh')
| -rwxr-xr-x | tests/aiger/run-test.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/aiger/run-test.sh b/tests/aiger/run-test.sh index 8e932b091..de7bc68cf 100755 --- a/tests/aiger/run-test.sh +++ b/tests/aiger/run-test.sh @@ -52,3 +52,8 @@ miter -equiv -flatten -make_assert -make_outputs gold gate miter sat -verify -prove-asserts -show-ports -seq 16 miter " -l ${aig}.log done + +for y in *.ys; do + echo "Running $y." + ../../yosys $y -ql ${y%.*}.log +done |