Add debug printing of unit test mock commmands/responses

Author: thomasspriggs

unit/solvers/smt2_incremental/smt2_incremental_decision_procedure.cpp

@@ -130,8 +130,14 @@ struct decision_procedure_test_environmentt final
   decision_procedure_test_environmentt() = default;
 };
 
+#include <iostream>
+#define WATCHVAR( var ) \
+  std::cerr << "DBG: " << __FILE__ << "(" << __LINE__ << ") " << #var << \
+    " = [" << (var) << "]" << std::endl
+
 void decision_procedure_test_environmentt::send(const smt_commandt &smt_command)
 {
+  WATCHVAR(smt_command);
   sent_commands.push_back(smt_command);
 }
 
@@ -140,6 +146,7 @@ smt_responset decision_procedure_test_environmentt::receive_response()
   INVARIANT(
     !mock_responses.empty(), "There must be responses remaining for test.");
   smt_responset response = mock_responses.front();
+  WATCHVAR(response.pretty());
   mock_responses.pop_front();
   return response;
 }