testsuite/gna/bug017/call5.vhdl


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

entity call5 is
end;

architecture behav of call5 is
  procedure inc (p : inout integer) is
  begin
    wait for 1 ns;
    p := p + 1;
  end inc;
begin
  process
    variable v : integer := 2;
  begin
    inc (v);
    wait for 2 ns;
    inc (v);
    assert not (v = 4) report "SUCCESS";
    wait;
  end process;
 
end behav;