aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/synth/psl01
ModeNameSize
-rw-r--r--assert1.vhdl528logstatsplain
-rw-r--r--assume1.vhdl518logstatsplain
-rw-r--r--assume2.vhdl527logstatsplain
-rw-r--r--cover1.vhdl509logstatsplain
-rw-r--r--cover2.vhdl497logstatsplain
-rw-r--r--cover3.vhdl443logstatsplain
-rw-r--r--hello.vhdl615logstatsplain
-rw-r--r--restrict1.vhdl531logstatsplain
-rw-r--r--restrict2.vhdl520logstatsplain
-rwxr-xr-xtestsuite.sh265logstatsplain