Toplevel caught event TEST FAILED failure expression: failexpr:

TEST FAILED failure reason: Didn't advance the foo event counter.fail TEST PASSED pass TEST FAILED failure reason: The FIA resumed at the wrong place.fail