aboutsummaryrefslogtreecommitdiffstats
path: root/tests/sat/initval.ys
Commit message (Collapse)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
| | | | This reverts commit c28d4b804720c2cf0086e921748219150e9631b5.
* 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