diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-01-07 11:44:03 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-01-07 11:47:35 -0800 |
| commit | 9c5ceb5b4f7aea169c8d9ffd2411c6f4eb3e49d5 (patch) | |
| tree | 33d682bce45cffa80db5a7905e98510c9e69b70d | |
| parent | dc3b21c1c050416aae443231729c8f4e4faf93ab (diff) | |
| download | yosys-9c5ceb5b4f7aea169c8d9ffd2411c6f4eb3e49d5.tar.gz yosys-9c5ceb5b4f7aea169c8d9ffd2411c6f4eb3e49d5.tar.bz2 yosys-9c5ceb5b4f7aea169c8d9ffd2411c6f4eb3e49d5.zip | |
tests/aiger: write Yosys output
| -rwxr-xr-x | tests/aiger/run-test.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/aiger/run-test.sh b/tests/aiger/run-test.sh index deaf48a3d..8e932b091 100755 --- a/tests/aiger/run-test.sh +++ b/tests/aiger/run-test.sh @@ -33,7 +33,7 @@ design -import gold -as gold design -import gate -as gate miter -equiv -flatten -make_assert -make_outputs gold gate miter sat -verify -prove-asserts -show-ports -seq 16 miter -" +" -l ${aag}.log done for aig in *.aig; do @@ -50,5 +50,5 @@ design -import gold -as gold design -import gate -as gate miter -equiv -flatten -make_assert -make_outputs gold gate miter sat -verify -prove-asserts -show-ports -seq 16 miter -" +" -l ${aig}.log done |