In reply to Have_A_Doubt:
Note that the .ended method has been deprecated since 1800-2009 and is unnecessary here.
An implication property vacuously passes every cycle the antecedent fails. That means you cannot fail the assertion until b rises.
In reply to Have_A_Doubt:
Note that the .ended method has been deprecated since 1800-2009 and is unnecessary here.
An implication property vacuously passes every cycle the antecedent fails. That means you cannot fail the assertion until b rises.