testsuite/gna/issue256/testcase3.vhd


1
2
3
4
5
6
7
8
9
10

entity testcase3 is
    port(clk: in bit);
begin
end entity testcase3;

-- Keep the compiler happy
architecture empty of testcase3 is
begin
    check: assert clk'delayed'last_event >= 10 ns;
end architecture empty;