aboutsummaryrefslogtreecommitdiffstats
path: root/tests/sat/initval.ys
Commit message (Expand)AuthorAgeFilesLines
* Revert "Add test that is expecting to fail"Eddie Hung2019-10-081-20/+0
* Add test that is expecting to failEddie Hung2019-10-021-0/+20
* now ignore init attributes on non-register wires in sat commandClifford Wolf2014-07-051-0/+4