diff options
| author | Tristan Gingold <tgingold@free.fr> | 2021-09-02 07:23:33 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2021-09-02 07:23:33 +0200 |
| commit | 8944c043c268c4afad097e02cbe97c8f3f479ac6 (patch) | |
| tree | e3bc5b07120f17b5f529e90069557ea161b23810 /testsuite/gna | |
| parent | e7c543790d49cada14536af8b4b23eb22d796278 (diff) | |
| download | ghdl-8944c043c268c4afad097e02cbe97c8f3f479ac6.tar.gz ghdl-8944c043c268c4afad097e02cbe97c8f3f479ac6.tar.bz2 ghdl-8944c043c268c4afad097e02cbe97c8f3f479ac6.zip | |
testsuite/gna: check last commit (psl abort) for #1654
Diffstat (limited to 'testsuite/gna')
| -rw-r--r-- | testsuite/gna/issue1654/issue2.vhdl | 2 | ||||
| -rwxr-xr-x | testsuite/gna/issue1654/testsuite.sh | 2 |
2 files changed, 3 insertions, 1 deletions
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 |