From 93079e02e43fa220e05f36187e85b27aa2de50ed Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Sat, 27 Aug 2016 16:57:22 +0200 Subject: Add testcase for previous patch --- testsuite/gna/bug051/tb.vhdl | 15 +++++++++++++++ testsuite/gna/bug051/tb1.vhdl | 8 ++++++++ testsuite/gna/bug051/tb2.vhdl | 17 +++++++++++++++++ testsuite/gna/bug051/testsuite.sh | 13 +++++++++++++ 4 files changed, 53 insertions(+) create mode 100644 testsuite/gna/bug051/tb.vhdl create mode 100644 testsuite/gna/bug051/tb1.vhdl create mode 100644 testsuite/gna/bug051/tb2.vhdl create mode 100755 testsuite/gna/bug051/testsuite.sh diff --git a/testsuite/gna/bug051/tb.vhdl b/testsuite/gna/bug051/tb.vhdl new file mode 100644 index 000000000..a2ed49272 --- /dev/null +++ b/testsuite/gna/bug051/tb.vhdl @@ -0,0 +1,15 @@ +entity tb is +end tb; + +architecture behav of tb is + signal s : bit; +begin + postponed assert s = '0' severity failure; + process + begin + s <= '1'; + wait for 0 ns; + s <= '0'; + wait; + end process; +end behav; diff --git a/testsuite/gna/bug051/tb1.vhdl b/testsuite/gna/bug051/tb1.vhdl new file mode 100644 index 000000000..ef52164ee --- /dev/null +++ b/testsuite/gna/bug051/tb1.vhdl @@ -0,0 +1,8 @@ +entity tb is +end tb; + +architecture behav of tb is + signal s : bit; +begin + postponed assert s = 0; +end behav; diff --git a/testsuite/gna/bug051/tb2.vhdl b/testsuite/gna/bug051/tb2.vhdl new file mode 100644 index 000000000..36b2fff13 --- /dev/null +++ b/testsuite/gna/bug051/tb2.vhdl @@ -0,0 +1,17 @@ +entity tb2 is +end tb2; + +architecture behav of tb2 is + signal s : bit; + signal clk : bit; +begin + -- psl default clock is (clk'event and clk = '1'); + postponed assert always {s = '0'; s = '1'} severity failure; + process + begin + s <= '1'; + wait for 0 ns; + s <= '0'; + wait; + end process; +end behav; diff --git a/testsuite/gna/bug051/testsuite.sh b/testsuite/gna/bug051/testsuite.sh new file mode 100755 index 000000000..925ada180 --- /dev/null +++ b/testsuite/gna/bug051/testsuite.sh @@ -0,0 +1,13 @@ +#! /bin/sh + +. ../../testenv.sh + +GHDL_STD_FLAGS=--std=08 +analyze_failure tb1.vhdl +analyze_failure -fpsl tb2.vhdl +analyze tb.vhdl +elab_simulate tb + +clean + +echo "Test successful" -- cgit v1.2.3