testsuite/gna/ticket14/reprook.vhdl


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

entity reprook is
    generic (
	BUS_WIDTH : integer := 8;
	ARRAY_WIDTH : integer := 2);
end entity reprook;

architecture behavioural of reprook is

    type test_array_btype is array (integer range <>) of
      bit_vector (BUS_WIDTH-1 downto 0);
    subtype test_array_type is test_array_btype (ARRAY_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;