testsuite/synth/issue1372/issue_psl.vhdl


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

vunit issue_vunit (issue(psl)) {

  -- All is sensitive to rising edge of clk
  default clock is rising_edge(clk);

  -- GHDL crash if condition evaluates to true
  test_g : if true generate

    -- This assertion holds
    CHECK_0_a : assert always (a -> b);

  end generate test_g;

}