Remove PSL example from tests/sva/
authorClifford Wolf <clifford@clifford.at>
Fri, 20 Oct 2017 11:16:24 +0000 (13:16 +0200)
committerClifford Wolf <clifford@clifford.at>
Fri, 20 Oct 2017 11:16:24 +0000 (13:16 +0200)
commitbaddb017fe5eb72fbb65d6f89553dc2341663613
tree4bc6c54afcebbf7220f892e06f17bc4ba79951d6
parent0a31a0b3ae570007196c4b4dd6c16ba7de7f3ba9
Remove PSL example from tests/sva/
tests/sva/runtest.sh
tests/sva/vhdlpsl00.vhd [deleted file]