Merge pull request #3984 from martin-cs/fix/redirect-exception-handler-output-4

Add an output stream to goto-harness for parse_options_baset

Author: tautschnig

src/goto-harness/goto_harness_parse_options.cpp

@@ -46,6 +46,7 @@ void goto_harness_parse_optionst::help()
 goto_harness_parse_optionst::goto_harness_parse_optionst(
   int argc,
   const char *argv[])
-  : parse_options_baset{GOTO_HARNESS_OPTIONS, argc, argv}
+  : parse_options_baset{GOTO_HARNESS_OPTIONS, argc, argv, ui_message_handler},
+    ui_message_handler(cmdline, std::string("GOTO-HARNESS ") + CBMC_VERSION)
 {
 }

src/goto-harness/goto_harness_parse_options.h

@@ -10,6 +10,7 @@ Author: Diffblue Ltd.
 #define CPROVER_GOTO_HARNESS_GOTO_HARNESS_PARSE_OPTIONS_H
 
 #include <util/parse_options.h>
+#include <util/ui_message.h>
 
 #define GOTO_HARNESS_OPTIONS "(version)" // end GOTO_HARNESS_OPTIONS
 
@@ -20,6 +21,14 @@ class goto_harness_parse_optionst : public parse_options_baset
   void help() override;
 
   goto_harness_parse_optionst(int argc, const char *argv[]);
+
+protected:
+  ui_message_handlert ui_message_handler;
+
+  ui_message_handlert::uit get_ui()
+  {
+    return ui_message_handler.get_ui();
+  }
 };
 
 #endif // CPROVER_GOTO_HARNESS_GOTO_HARNESS_PARSE_OPTIONS_H