Report successfully verified properties with stop-on-fail#7224

Merged

tautschnig merged 1 commit intodiffblue:developfrom

tautschnig:bugfixes/7059-stop-on-fail

Oct 9, 2022

Commits on Oct 8, 2022

Report successfully verified properties with stop-on-fail
tautschnig
committed