testsuite/gna/bug0112/assert01.vhdl


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

entity assert01 is
  generic (
    ginv : boolean := false
  );
  port (i : bit;
        o : out bit);
end assert01;

architecture behav of assert01 is
begin
  assert (not ginv) report "ginv is true" severity failure;
  o <= i;
end behav;