testsuite/synth/issue2025/wb_standard_formal_psl.vhd


1
2
3
4
5
6
7
8
9

ENTITY wb_standard_formal IS
END ENTITY;

ARCHITECTURE psl of wb_standard_formal IS
BEGIN
    gen_test: IF (true) GENERATE
    END GENERATE;
END ARCHITECTURE;