aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/gna/ticket18/psl_test_working.vhd
Commit message (Expand)AuthorAgeFilesLines
* PSL: allow labels on psl directives (fix ticket26).Tristan Gingold2014-12-131-2/+2
* Handle report/severity in PSL assertions.Tristan Gingold2014-06-211-0/+53