diff options
author | Eddie Hung <eddie@fpgeh.com> | 2019-07-16 12:11:59 -0700 |
---|---|---|
committer | Eddie Hung <eddie@fpgeh.com> | 2019-07-16 12:11:59 -0700 |
commit | dd10d2b00d6760f2d09f55c90591855afcae409e (patch) | |
tree | 3b80bc9d4045b04e6f0791cb1f5415105f5c3d89 /tests/lut/run-test.sh | |
parent | 5939b5d636f80d4f9345f5b8d0247332d533b68c (diff) | |
download | yosys-dd10d2b00d6760f2d09f55c90591855afcae409e.tar.gz yosys-dd10d2b00d6760f2d09f55c90591855afcae409e.tar.bz2 yosys-dd10d2b00d6760f2d09f55c90591855afcae409e.zip |
Add tests for cmp2lut on LUT6
Diffstat (limited to 'tests/lut/run-test.sh')
-rwxr-xr-x | tests/lut/run-test.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/lut/run-test.sh b/tests/lut/run-test.sh index 207417fa6..f8964f146 100755 --- a/tests/lut/run-test.sh +++ b/tests/lut/run-test.sh @@ -4,3 +4,8 @@ for x in *.v; do echo "Running $x.." ../../yosys -q -s check_map.ys -l ${x%.v}.log $x done + +for x in map_cmp.v; do + echo "Running $x.." + ../../yosys -q -s check_map_lut6.ys -l ${x%.v}_lut6.log $x +done |