diff options
Diffstat (limited to 'tests/techmap/abc9/abc9_runtest.sh')
| -rw-r--r-- | tests/techmap/abc9/abc9_runtest.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/techmap/abc9/abc9_runtest.sh b/tests/techmap/abc9/abc9_runtest.sh new file mode 100644 index 000000000..2deaad719 --- /dev/null +++ b/tests/techmap/abc9/abc9_runtest.sh @@ -0,0 +1,5 @@ +#!/bin/bash + +set -ev + +../../../yosys -p 'abc9 -lut 4; check; select -assert-count 2 t:$lut; select -assert-none c:* t:$lut %n %i' abc9.v |