summaryrefslogtreecommitdiff
path: root/tests/sat
ModeNameSize
-rw-r--r--.gitignore6logplain
-rw-r--r--asserts.v382logplain
-rw-r--r--asserts.ys110logplain
-rw-r--r--asserts_seq.v1771logplain
-rw-r--r--asserts_seq.ys555logplain
-rw-r--r--counters.v515logplain
-rw-r--r--counters.ys250logplain
-rw-r--r--expose_dff.v669logplain
-rw-r--r--expose_dff.ys323logplain
-rw-r--r--initval.v307logplain
-rw-r--r--initval.ys62logplain
-rwxr-xr-xrun-test.sh96logplain
-rw-r--r--share.v464logplain
-rw-r--r--share.ys474logplain
-rw-r--r--splice.v262logplain
-rw-r--r--splice.ys237logplain