Merge pull request #1143 from YosysHQ/clifford/fix1135
[yosys.git] / tests / sat / sizebits.sv
2017-09-29 Clifford WolfAllow $size and $bits in verilog mode, actually check...