From 0331772c3ef05bad40b748542939ccafab2a9c68 Mon Sep 17 00:00:00 2001
From: Pepijn de Vos <pepijndevos@gmail.com>
Date: Wed, 7 Aug 2019 04:20:14 +0200
Subject: Add support for PSL assumptions, used in formal verification (#880)

* vhdl: make the parser understand PSL assume

* assume does not actually have report according to the spec. Just a property.

* add SPL assume to semantic analysis

* canonicalise PSL assume

* add assume to annotations

* add PSL assume to simulation code

* statement -> directive

* add assume to translation files

* update ticked24 testcase

* correctly parse assume

* add assume testcase

* refactor chunk of duplicated code
---
 testsuite/gna/ticket24/psl.ref | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'testsuite/gna/ticket24')

diff --git a/testsuite/gna/ticket24/psl.ref b/testsuite/gna/ticket24/psl.ref
index 6a5588a3a..9cd8cdb35 100644
--- a/testsuite/gna/ticket24/psl.ref
+++ b/testsuite/gna/ticket24/psl.ref
@@ -21,6 +21,9 @@
   "assert": 2,
   "assert-failure": 0,
   "assert-pass": 2,
+  "assume": 0,
+  "assume-failure": 0,
+  "assume-pass": 0,
   "cover": 1,
   "cover-failure": 0,
   "cover-pass": 1}
-- 
cgit v1.2.3