Utility for printing overall result

Enable consistent overall status reporting
across all driver programs.

Author: peterschrammel

src/goto-checker/report_util.cpp

@@ -238,3 +238,24 @@ void output_properties(
   }
   }
 }
+
+void output_overall_result(
+  resultt result,
+  ui_message_handlert &ui_message_handler)
+{
+  switch(result)
+  {
+  case resultt::PASS:
+    report_success(ui_message_handler);
+    break;
+  case resultt::FAIL:
+    report_failure(ui_message_handler);
+    break;
+  case resultt::UNKNOWN:
+    report_inconclusive(ui_message_handler);
+    break;
+  case resultt::ERROR:
+    report_error(ui_message_handler);
+    break;
+  }
+}

src/goto-checker/report_util.h

@@ -25,4 +25,8 @@ void output_properties(
   const propertiest &properties,
   ui_message_handlert &ui_message_handler);
 
+void output_overall_result(
+  resultt result,
+  ui_message_handlert &ui_message_handler);
+
 #endif // CPROVER_GOTO_CHECKER_REPORT_UTIL_H