Output concludes with something like this:
SUMMARY:
** 0 of 355 failed
VERIFICATION:- SUCCESSFUL
Verification Time: 1.0033967s
It's not clear (especially with a lot of properties above this) what harness had this result. It's too far away (e.g. 800+ properties between).
Output concludes with something like this:
It's not clear (especially with a lot of properties above this) what harness had this result. It's too far away (e.g. 800+ properties between).