Why is this an issue?

A property used in a cover statement allows vacuous success, which can cause confusing coverage results.

How to fix it

Code examples

Noncompliant code example

module fly(input clk, a, b);
  cover property (@(posedge clk) a |-> b);
endmodule