aboutsummaryrefslogtreecommitdiffstats
path: root/tests/sva/runtest.sh
Commit message (Expand)AuthorAgeFilesLines
* Add simple VHDL+PSL exampleClifford Wolf2017-07-281-13/+24
* Improve SVA tests, add Makefile and scriptsClifford Wolf2017-07-271-0/+60