path: root/testsuite/gna/bug051/tb1.vhdl

entity tb is
end tb;

architecture behav of tb is
  signal s : bit;
begin
  postponed assert s = 0;
end behav;