projects / yosys.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Merge pull request #1927 from YosysHQ/eddie/design_remove_assert
[yosys.git] / tests / opt / opt_lut_elim.ys
1 read_ilang opt_lut_elim.il
2 opt_lut
3 select -assert-count 0 t:$lut