projects / yosys.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Merge pull request #2547 from zachjs/plugin-so-dsym
[yosys.git] / tests / various / gen_if_null.ys
1 read_verilog gen_if_null.v
2 select -assert-count 1 test/x
3 select -assert-count 1 test/y
4 select -assert-count 1 test/z