assertionFails() -> FAILED
assumptionFails() -> ABORTED
passes() -> SUCCESSFUL
