In reply to Have_A_Doubt:
In your code ::
The 2nd error is as per expectation due to strong operator being in effect from T:95.
Yet I observe fail == 1 and not fail == 2 during end of simulation at T:129, why is it so ?
The assertion did not complete with a failure, thus the action block was not exercised.
The notification of failure was issued by the tool because it was an incomplete assertion of a strong property.
Ben