mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-10 13:10:51 +00:00
Code Activity

Remove PSL example from tests/sva/

Browse source
This commit is contained in:
Clifford Wolf 2017-10-20 13:16:24 +02:00
parent 0a31a0b3ae
commit baddb017fe
2 changed files with 1 additions and 35 deletions
Download patch file Download diff file Expand all files Collapse all files

2
tests/sva/runtest.sh
View file

@ -29,7 +29,7 @@ generate_sby() {
fi
if [ -f $prefix.vhd ]; then
echo "verific -vhdpsl $prefix.vhd"
echo "verific -vhdl $prefix.vhd"
fi
cat <<- EOT