testsuite/gna/issue877/tb2.vhdl


1
2
3
4
5
6
7
8
9
10
11
12
13
14

entity tb is
end tb;

architecture behav of tb is
  constant msg : string := "hello world";
  procedure chk (b : natural)
  is
    subtype my_rng is natural range 1 to b;
  begin
    assert msg (chk.my_rng) = "hello";
  end chk;
begin
  chk(5);
end behav;