1 files changed, 22 insertions, 0 deletions
diff --git a/testsuite/gna/ticket14/repro.vhdl b/testsuite/gna/ticket14/repro.vhdl
new file mode 100644
index 0000000..6d89fbc
--- /dev/null
+++ b/testsuite/gna/ticket14/repro.vhdl
@@ -0,0 +1,22 @@
+entity repro is
+    generic (
+	BUS_WIDTH : integer := 8;
+	ARRAY_WIDTH : integer := 2);
+end entity repro;
+
+architecture behavioural of repro is
+
+    type test_array_type is array (ARRAY_WIDTH-1 downto 0) of
+      bit_vector (BUS_WIDTH-1 downto 0);
+    signal s : test_array_type := (others => (others => '0'));
+
+begin
+
+    failing_process : process
+    begin
+      assert s'left = 1;
+      assert s'right = 0;
+      wait;
+    end process failing_process;
+    
+end architecture behavioural;