From 60c3d12395c6fb6892f30bf326f223d3bedf38bb Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Sun, 2 Aug 2020 09:27:37 +0200 Subject: testsuite/gna: add a simple testcase for force/release. #1416 --- testsuite/gna/issue1416/repro.vhdl | 28 ++++++++++++++++++++++++++++ testsuite/gna/issue1416/testsuite.sh | 11 +++++++++++ 2 files changed, 39 insertions(+) create mode 100644 testsuite/gna/issue1416/repro.vhdl create mode 100755 testsuite/gna/issue1416/testsuite.sh (limited to 'testsuite') diff --git a/testsuite/gna/issue1416/repro.vhdl b/testsuite/gna/issue1416/repro.vhdl new file mode 100644 index 000000000..d1d0e34e1 --- /dev/null +++ b/testsuite/gna/issue1416/repro.vhdl @@ -0,0 +1,28 @@ +entity repro is + port (a : bit := '0'; + o : out bit); +end; + +architecture behav of repro is + signal s : bit; +begin + s <= a; + o <= not s; + + process + begin + wait for 1 ns; + assert a = '0' and s = '0' severity failure; + s <= force '1'; + assert s = '0' severity failure; + wait for 0 ns; + assert s'active severity failure; + assert a = '0' and s = '1' severity failure; + wait for 1 ns; + s <= release; + wait for 0 ns; + assert s'active severity failure; + assert a = '0' and s = '0' severity failure; + wait; + end process; +end; diff --git a/testsuite/gna/issue1416/testsuite.sh b/testsuite/gna/issue1416/testsuite.sh new file mode 100755 index 000000000..8d22a2073 --- /dev/null +++ b/testsuite/gna/issue1416/testsuite.sh @@ -0,0 +1,11 @@ +#! /bin/sh + +. ../../testenv.sh + +export GHDL_STD_FLAGS=--std=08 +analyze repro.vhdl +elab_simulate repro + +clean + +echo "Test successful" -- cgit v1.2.3