1 2 3 4 5 6
entity e is end entity; architecture a of e is signal s :boolean; begin assert not s; end architecture;