Merge pull request diffblue#7224 from tautschnig/bugfixes/7059-stop-on-fail

Report successfully verified properties with stop-on-fail

Author: tautschnig

regression/cbmc/Address_of1/test.desc

@@ -1,6 +1,7 @@
 CORE
 main.c
 --stop-on-fail
+^\[main\.assertion
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$

src/goto-checker/stop_on_fail_verifier.h

@@ -44,6 +44,7 @@ class stop_on_fail_verifiert : public goto_verifiert
     switch(determine_result(properties))
     {
     case resultt::PASS:
+      output_properties(properties, 1, ui_message_handler);
       report_success(ui_message_handler);
       incremental_goto_checker.output_proof();
       break;