From: Eddie Hung <eddie@fpgeh.com>
Date: Tue, 16 Jul 2019 19:44:26 +0000 (-0700)
Subject: Forgot to commit
X-Git-Tag: working-ls180~1189^2~1
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8a2a2cd035d5fe931899256711ed972fd1da3a3b;p=yosys.git

Forgot to commit
---

diff --git a/tests/lut/check_map_lut6.ys b/tests/lut/check_map_lut6.ys
new file mode 100644
index 000000000..8a32e4d10
--- /dev/null
+++ b/tests/lut/check_map_lut6.ys
@@ -0,0 +1,7 @@
+chparam -set LUT_WIDTH 6 top
+simplemap
+equiv_opt -assert techmap -D LUT_WIDTH=6 -map +/cmp2lut.v
+design -load postopt
+equiv_opt -assert techmap -D LUT_WIDTH=6 -map +/gate2lut.v
+design -load postopt
+select -assert-count 0 t:* t:$lut %d