Add testcase for ticket24

1 files changed, 24 insertions, 0 deletions

diff --git a/testsuite/gna/ticket24/testsuite.sh b/testsuite/gna/ticket24/testsuite.sh
new file mode 100755
index 000000000..96b37c948
--- /dev/null
+++ b/testsuite/gna/ticket24/testsuite.sh
@@ -0,0 +1,24 @@
+#! /bin/sh
+
+. ../../testenv.sh
+
+analyze -fpsl psl.vhdl
+elab_simulate -fpsl psl --psl-report=psl.out
+
+if ! cmp psl.out psl.ref; then
+    echo "report mismatch"
+    exit 1
+fi
+
+# Usage example (python 2.7):
+#
+# import json
+# d=json.load(open("psl.out"))
+# print d['summary']
+#  {u'assert-pass': 2, u'cover': 1, ... }
+# print d['summary']['assert']
+
+rm -f psl.out
+clean
+
+echo "Test successful"