aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/gna/ticket62/repro.vhdl
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/gna/ticket62/repro.vhdl')
-rw-r--r--testsuite/gna/ticket62/repro.vhdl22
1 files changed, 22 insertions, 0 deletions
diff --git a/testsuite/gna/ticket62/repro.vhdl b/testsuite/gna/ticket62/repro.vhdl
new file mode 100644
index 000000000..349b99729
--- /dev/null
+++ b/testsuite/gna/ticket62/repro.vhdl
@@ -0,0 +1,22 @@
+entity ent is
+end;
+
+architecture behav of ent is
+ shared variable v : integer;
+begin
+ process
+ begin
+ v := 2;
+ wait for 2 ns;
+ assert v = 5 severity failure;
+ wait;
+ end process;
+
+ process
+ begin
+ wait for 1 ns;
+ assert v = 2 severity failure;
+ v := 5;
+ wait;
+ end process;
+end;