diff options
| -rwxr-xr-x | testsuite/gna/ticket24/testsuite.sh | 16 |
1 files changed, 13 insertions, 3 deletions
diff --git a/testsuite/gna/ticket24/testsuite.sh b/testsuite/gna/ticket24/testsuite.sh index 96b37c948..2609c6022 100755 --- a/testsuite/gna/ticket24/testsuite.sh +++ b/testsuite/gna/ticket24/testsuite.sh @@ -10,6 +10,19 @@ if ! cmp psl.out psl.ref; then exit 1 fi +rm -f psl.out +clean + +# Using vhdl 08 +GHDL_STD_FLAGS="-fpsl --std=08" +analyze psl.vhdl +elab_simulate psl --psl-report=psl.out + +cmp -s psl.out psl.ref + +rm -f psl.out +clean + # Usage example (python 2.7): # # import json @@ -18,7 +31,4 @@ fi # {u'assert-pass': 2, u'cover': 1, ... } # print d['summary']['assert'] -rm -f psl.out -clean - echo "Test successful" |