testsuite/gna/bug093/repro.vhdl


1
2
3
4
5
6
7
8
9
10

entity repro is
end repro;

architecture behav of repro is
  constant a : boolean := True;
  constant b : boolean := False;
  constant c : boolean := False;
begin
  assert (a and b) = c severity failure;
end behav;