Merge pull request #2719 from tautschnig/quiet-unit-tests

Make unit tests quiet

Author: kroening

unit/goto-programs/goto_trace_output.cpp

@@ -9,7 +9,7 @@
 #include <testing-utils/catch.hpp>
 #include <goto-programs/goto_program.h>
 #include <goto-programs/goto_trace.h>
-#include <iostream>
+#include <sstream>
 
 SCENARIO(
   "Output trace with nil lhs object",
@@ -22,5 +22,16 @@ SCENARIO(
   goto_trace_stept step;
   step.pc = instructions.begin();
   step.type = goto_trace_stept::typet::ATOMIC_BEGIN;
-  step.output(ns, std::cout);
+
+  std::ostringstream oss;
+  step.output(ns, oss);
+
+  std::istringstream iss(oss.str());
+  std::string line;
+  std::getline(iss, line);
+  REQUIRE(line == "*** ATOMIC_BEGIN");
+  std::getline(iss, line);
+  REQUIRE(line == "OTHER");
+  std::getline(iss, line);
+  REQUIRE(line.empty());
 }

unit/path_strategies.cpp

@@ -314,6 +314,7 @@ void _check_with_strategy(
   }
 
   ui_message_handlert mh(cmdline, "path-explore");
+  mh.set_verbosity(0);
   messaget log(mh);
 
   path_strategy_choosert chooser;