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

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:bugfixes/7059-stop-on-failtautschnig/cbmc:bugfixes/7059-stop-on-failCopy head branch name to clipboard