diff options
-rw-r--r-- | testsuite/synth/issue2081/ent.vhdl | 16 | ||||
-rwxr-xr-x | testsuite/synth/issue2081/testsuite.sh | 9 |
2 files changed, 25 insertions, 0 deletions
diff --git a/testsuite/synth/issue2081/ent.vhdl b/testsuite/synth/issue2081/ent.vhdl new file mode 100644 index 000000000..f9fefd528 --- /dev/null +++ b/testsuite/synth/issue2081/ent.vhdl @@ -0,0 +1,16 @@ +library ieee; +use ieee.std_logic_1164.all; + +entity ent is +end entity; + +architecture a of ent is + signal foo : std_logic_vector(7 downto 0); +begin + process(foo) + begin + if foo /= x"00" then + assert false; + end if; + end process; +end architecture; diff --git a/testsuite/synth/issue2081/testsuite.sh b/testsuite/synth/issue2081/testsuite.sh new file mode 100755 index 000000000..363692cc2 --- /dev/null +++ b/testsuite/synth/issue2081/testsuite.sh @@ -0,0 +1,9 @@ +#! /bin/sh + +. ../../testenv.sh + +synth ent.vhdl -e > syn_ent.vhdl + +synth_failure -Werror=nowrite ent.vhdl -e + +echo "Test successful" |