diff options
author | Tristan Gingold <tgingold@free.fr> | 2014-03-29 04:38:27 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2014-03-29 04:38:27 +0100 |
commit | e7b2039857db4ba617c5a399c11cc4ff4c969959 (patch) | |
tree | 296cf09fce43c61770a9d45b4301a37b100a3429 /testsuite | |
parent | 8fc7559a26a3c634b7c87ada03744f5f31637b32 (diff) | |
download | ghdl-e7b2039857db4ba617c5a399c11cc4ff4c969959.tar.gz ghdl-e7b2039857db4ba617c5a399c11cc4ff4c969959.tar.bz2 ghdl-e7b2039857db4ba617c5a399c11cc4ff4c969959.zip |
Fix ticket11: remove from active list a signal not active in the next delta due
to a second assignment.
Diffstat (limited to 'testsuite')
-rw-r--r-- | testsuite/gna/ticket11/signalevents.vhdl | 20 | ||||
-rwxr-xr-x | testsuite/gna/ticket11/testsuite.sh | 10 |
2 files changed, 30 insertions, 0 deletions
diff --git a/testsuite/gna/ticket11/signalevents.vhdl b/testsuite/gna/ticket11/signalevents.vhdl new file mode 100644 index 000000000..98161ae8b --- /dev/null +++ b/testsuite/gna/ticket11/signalevents.vhdl @@ -0,0 +1,20 @@ +entity tb is +end entity; + +architecture arch of tb is + signal s: integer := 0; +begin + process is + begin + wait for 1 us; + s <= 1; + s <= 2 after 1 us; + assert s = 0; + wait on s; + report "s = " & integer'image(s); + assert s = 2 severity failure; + assert now = 2 us severity failure; + wait; + end process; + +end architecture; diff --git a/testsuite/gna/ticket11/testsuite.sh b/testsuite/gna/ticket11/testsuite.sh new file mode 100755 index 000000000..7226710c9 --- /dev/null +++ b/testsuite/gna/ticket11/testsuite.sh @@ -0,0 +1,10 @@ +#! /bin/sh + +. ../../testenv.sh + +analyze signalevents.vhdl +elab_simulate tb + +clean + +echo "Test successful" |