summaryrefslogtreecommitdiff
path: root/testsuite/gna/ticket18/psl_test_error.vhd
AgeCommit message (Expand)Author
2014-12-13PSL: allow labels on psl directives (fix ticket26).Tristan Gingold
2014-06-21Handle report/severity in PSL assertions.Tristan Gingold