From 42a3bac62c95221096996dfbbbeabb0474130042 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sat, 3 Apr 2021 16:49:35 +0200
Subject: testsuite/gna: add a test for #1708

---
 testsuite/gna/issue1708/tb_top.vhdl  | 34 ++++++++++++++++++++++++++++++++++
 testsuite/gna/issue1708/testsuite.sh | 10 ++++++++++
 2 files changed, 44 insertions(+)
 create mode 100644 testsuite/gna/issue1708/tb_top.vhdl
 create mode 100755 testsuite/gna/issue1708/testsuite.sh

(limited to 'testsuite/gna')

diff --git a/testsuite/gna/issue1708/tb_top.vhdl b/testsuite/gna/issue1708/tb_top.vhdl
new file mode 100644
index 000000000..274cf3872
--- /dev/null
+++ b/testsuite/gna/issue1708/tb_top.vhdl
@@ -0,0 +1,34 @@
+Library ieee;
+use ieee.std_logic_1164.all;
+
+entity tb_top is
+end entity;
+
+
+architecture tb of tb_top is
+
+    signal a,b : std_logic := '0';
+    signal clk_sys : std_logic;
+
+    default clock is rising_edge(clk_sys);
+begin
+
+    gen_clock_proc : process
+    begin    	
+    	clk_sys <= '1';
+        wait for 5 ns;
+        clk_sys <= '0';
+        wait for 5 ns;
+    end process;
+
+    test_proc : process
+    begin
+          a <= '1';
+          wait for 50 ns;
+          std.env.finish;
+    end process;
+
+
+    my_seq : assert never {a = '1'; b = '1'}[=3];
+
+end architecture tb;
diff --git a/testsuite/gna/issue1708/testsuite.sh b/testsuite/gna/issue1708/testsuite.sh
new file mode 100755
index 000000000..cafddf06e
--- /dev/null
+++ b/testsuite/gna/issue1708/testsuite.sh
@@ -0,0 +1,10 @@
+#! /bin/sh
+
+. ../../testenv.sh
+
+export GHDL_STD_FLAGS=--std=08
+analyze_failure tb_top.vhdl
+
+clean
+
+echo "Test successful"
-- 
cgit v1.2.3