aboutsummaryrefslogtreecommitdiffstats
path: root/tests/sat/sizebits.ys
Commit message (Expand)AuthorAgeFilesLines
* Allow $size and $bits in verilog mode, actually check test caseClifford Wolf2017-09-291-0/+2