aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/gna/ticket24
Commit message (Expand)AuthorAgeFilesLines
* Add support for PSL assumptions, used in formal verification (#880)Pepijn de Vos2019-08-071-0/+3
* ticket24: check if tested feature is present.Tristan Gingold2017-12-111-10/+17
* testsuite/gna: adjust for windows.Tristan Gingold2016-12-201-2/+2
* Also test ticket24 with vhdl08.Tristan Gingold2016-03-191-3/+13
* Add testcase for ticket24Tristan Gingold2016-03-183-0/+81