testsuite/gna/bug079/repro1.vhdl


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

entity repro1 is
end repro1;

architecture behav of repro1 is
begin

  process
    variable var : natural;

    procedure proc (var : natural) is
    begin
      assert var = 5;
    end;
  begin
    var := 5;
    proc (var => var);
    wait;
  end process;
end behav;