diff options
| -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 |