diff --git a/regression/cbmc/Address_of1/test.desc b/regression/cbmc/Address_of1/test.desc
index 7cf1c8ac5b3..d891ef29be9 100644
--- a/regression/cbmc/Address_of1/test.desc
+++ b/regression/cbmc/Address_of1/test.desc
@@ -1,6 +1,7 @@
 CORE
 main.c
 --stop-on-fail
+^\[main\.assertion
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$
diff --git a/src/goto-checker/stop_on_fail_verifier.h b/src/goto-checker/stop_on_fail_verifier.h
index ffc0ac87390..7e11b66f792 100644
--- a/src/goto-checker/stop_on_fail_verifier.h
+++ b/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;