aboutsummaryrefslogtreecommitdiffstats
path: root/tests/various/peepopt.ys
Commit message (Expand)AuthorAgeFilesLines
* OopsEddie Hung2019-09-131-1/+1
* Add counter-example from @cliffordwolfEddie Hung2019-09-131-0/+24
* Revert "Make one check $shift(x)? only; change testcase to be 8b"Eddie Hung2019-09-131-2/+2
* Cope with presence of reset muxes tooEddie Hung2019-09-111-0/+39
* Add more testsEddie Hung2019-09-111-0/+32
* proc instead of prepEddie Hung2019-09-111-2/+2
* Add unsigned caseEddie Hung2019-09-111-0/+17
* Missing equiv_opt -assertEddie Hung2019-09-061-1/+1
* Make one check $shift(x)? only; change testcase to be 8bEddie Hung2019-09-061-2/+2
* Usee equiv_opt -assertEddie Hung2019-09-061-3/+3
* simple/peepopt.v tests to various/peepopt.ys with equiv_opt & selectEddie Hung2019-09-051-0/+63