diff options
author | Eddie Hung <eddieh@ece.ubc.ca> | 2019-02-19 15:25:03 -0800 |
---|---|---|
committer | Eddie Hung <eddieh@ece.ubc.ca> | 2019-02-19 15:25:03 -0800 |
commit | ef1a1402bcecd5cf3edc41b9842ab5500e52a95e (patch) | |
tree | 3fb3d3933c8b8b074afa46467b5fceed2c4495d9 /tests/techmap/abc9/abc9_runtest.sh | |
parent | 7b026c4bc316a44f2722cd4ddc96b4da1d1458b6 (diff) | |
download | yosys-ef1a1402bcecd5cf3edc41b9842ab5500e52a95e.tar.gz yosys-ef1a1402bcecd5cf3edc41b9842ab5500e52a95e.tar.bz2 yosys-ef1a1402bcecd5cf3edc41b9842ab5500e52a95e.zip |
Add a quick abc9 test
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 |