Fixup second commit

Author: NlightNFotis

unit/util/piped_process.cpp

@@ -7,6 +7,7 @@
 #else
 
 #  include <testing-utils/use_catch.h>
+#  include <testing-utils/message.h>
 #  include <util/optional.h>
 #  include <util/piped_process.h>
 #  include <util/string_utils.h>
@@ -20,7 +21,7 @@ TEST_CASE(
   std::vector<std::string> commands;
   commands.push_back("/bin/echo");
   commands.push_back(to_be_echoed);
-  piped_processt process = piped_processt(commands);
+  piped_processt process = piped_processt(commands, null_message_handler);
 
   // This is an indirect way to detect when the pipe has something. This
   // could (in theory) also return when there is an error, but this unit
@@ -40,7 +41,7 @@ TEST_CASE(
   // Need to give path to avoid shell built-in invocation
   std::vector<std::string> commands;
   commands.push_back("jkfadsjfkljdskalfjksdakjfkjdskjflkjasljdflksdjj");
-  piped_processt process = piped_processt(commands);
+  piped_processt process = piped_processt(commands, null_message_handler);
 
   // This is an indirect way to detect when the pipe has something. This
   // could (in theory) also return when there is an error, but this unit
@@ -55,7 +56,7 @@ TEST_CASE(
   while(too_many_tries < 5 && response.length() < 64)
   {
     // Wait a short amount of time to try and receive
-    process.can_receive(10);
+    process.can_receive(50);
     response += process.receive();
     too_many_tries++;
   }
@@ -70,7 +71,7 @@ TEST_CASE(
   std::vector<std::string> commands;
   commands.push_back("z3");
   commands.push_back("-in");
-  piped_processt process = piped_processt(commands);
+  piped_processt process = piped_processt(commands, null_message_handler);
 
   REQUIRE(
     process.send("(echo \"hi\")\n") ==
@@ -92,7 +93,7 @@ TEST_CASE(
   commands.push_back("z3");
   commands.push_back("-in");
   const std::string termination_statement = "(exit)\n";
-  piped_processt process = piped_processt(commands);
+  piped_processt process = piped_processt(commands, null_message_handler);
 
   REQUIRE(
     process.send("(echo \"hi\")\n") ==
@@ -122,7 +123,7 @@ TEST_CASE(
   commands.push_back("z3");
   commands.push_back("-in");
   commands.push_back("-smt2");
-  piped_processt process = piped_processt(commands);
+  piped_processt process = piped_processt(commands, null_message_handler);
 
   std::string message =
     "(set-logic QF_LIA) (declare-const x Int) (declare-const y Int) (assert (> "
@@ -146,7 +147,7 @@ TEST_CASE(
   commands.push_back("z3");
   commands.push_back("-in");
   commands.push_back("-smt2");
-  piped_processt process = piped_processt(commands);
+  piped_processt process = piped_processt(commands, null_message_handler);
 
   std::string statement =
     "(set-logic QF_LIA) (declare-const x Int) (declare-const y Int) (assert (> "
@@ -168,7 +169,7 @@ TEST_CASE(
   std::vector<std::string> commands;
   commands.push_back("z3");
   commands.push_back("-in");
-  piped_processt process = piped_processt(commands);
+  piped_processt process = piped_processt(commands, null_message_handler);
 
   REQUIRE(
     process.send("(echo \"hi\")\n") ==
@@ -198,7 +199,7 @@ TEST_CASE(
   commands.push_back("z3");
   commands.push_back("-in");
   commands.push_back("-smt2");
-  piped_processt process = piped_processt(commands);
+  piped_processt process = piped_processt(commands, null_message_handler);
 
   std::string statement =
     "(set-logic QF_LIA) (declare-const x Int) (declare-const y Int) (assert (> "
@@ -254,7 +255,7 @@ TEST_CASE(
   commands.push_back("z3");
   commands.push_back("-in");
   commands.push_back("-smt2");
-  piped_processt process = piped_processt(commands);
+  piped_processt process = piped_processt(commands, null_message_handler);
 
   std::string statement =
     "(set-logic QF_LIA) (declare-const x Int) (declare-const y Int) (assert (> "