aboutsummaryrefslogtreecommitdiffstats
path: root/tests/sat/initval.ys
Commit message (Expand)AuthorAgeFilesLines
* Even more obvious testcaseEddie Hung2019-12-111-6/+5
* Make testcase clearer with \o having its own initEddie Hung2019-12-111-0/+2
* Add test: 'Warning: ignoring initial value on non-register: \o'Eddie Hung2019-12-111-0/+10
* 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