In reply to hamza:
It means if the sequence on the LHS(antecedent) occurs, then fail.
I assume this was in an assert, not a cover directive.
In reply to hamza:
It means if the sequence on the LHS(antecedent) occurs, then fail.
I assume this was in an assert, not a cover directive.