From 4d370179c85343594e10999b66b3d014e2c552be Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Fri, 15 May 2015 03:53:02 +0200 Subject: Testcase for ticket 62. --- testsuite/gna/ticket62/repro.vhdl | 22 ++++++++++++++++++++++ testsuite/gna/ticket62/testsuite.sh | 16 ++++++++++++++++ 2 files changed, 38 insertions(+) create mode 100644 testsuite/gna/ticket62/repro.vhdl create mode 100755 testsuite/gna/ticket62/testsuite.sh (limited to 'testsuite/gna/ticket62') 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; diff --git a/testsuite/gna/ticket62/testsuite.sh b/testsuite/gna/ticket62/testsuite.sh new file mode 100755 index 000000000..15b7a8f7c --- /dev/null +++ b/testsuite/gna/ticket62/testsuite.sh @@ -0,0 +1,16 @@ +#! /bin/sh + +. ../../testenv.sh + +analyze repro.vhdl +elab_simulate ent +clean + +GHDL_STD_FLAGS=--std=08 + +analyze_failure repro.vhdl +analyze -frelaxed-rules repro.vhdl +elab_simulate -frelaxed-rules ent +clean + +echo "Test successful" -- cgit v1.2.3