Identifies a sequence of comparison operators that suggest an incorrect notion of how the comparisons will be evaluated.
module m; logic a, b, c; initial begin if (a < b < c) begin end // Noncompliant end endmodule