From 8944c043c268c4afad097e02cbe97c8f3f479ac6 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Thu, 2 Sep 2021 07:23:33 +0200 Subject: testsuite/gna: check last commit (psl abort) for #1654 --- testsuite/gna/issue1654/issue2.vhdl | 2 ++ testsuite/gna/issue1654/testsuite.sh | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/testsuite/gna/issue1654/issue2.vhdl b/testsuite/gna/issue1654/issue2.vhdl index d8e3f2866..ce5ca8d3f 100644 --- a/testsuite/gna/issue1654/issue2.vhdl +++ b/testsuite/gna/issue1654/issue2.vhdl @@ -81,6 +81,8 @@ begin -- See 1850-2010 6.2.1.5.1 abort, async_abort, and sync_abort WITH_async_ABORT_a : assert (always a -> next (b before a)) async_abort d; + -- According to IEEE 1850-2010 6.2.1.5.1, abort is identical to async_abort + WITH_ABORT_a : assert (always a -> next (b before a)) abort d; end architecture psl; diff --git a/testsuite/gna/issue1654/testsuite.sh b/testsuite/gna/issue1654/testsuite.sh index 9ae79d810..64460fb12 100755 --- a/testsuite/gna/issue1654/testsuite.sh +++ b/testsuite/gna/issue1654/testsuite.sh @@ -4,7 +4,7 @@ export GHDL_STD_FLAGS=--std=08 analyze issue2.vhdl -elab_simulate test_issue +elab_simulate test_issue --assert-level=error clean -- cgit v1.2.3