Move exception loggin into souce

Author: thk123

src/goto-symex/symex_target_equation.cpp

@@ -721,3 +721,25 @@ void symex_target_equationt::SSA_stept::output(
 
   out << "Guard: " << from_expr(ns, "", guard) << '\n';
 }
+
+std::string
+unwrap_exception(const std::exception &e, int level, std::string message)
+{
+  //  messaget message(get_message_handler());
+  //  message.error().source_location=symex.last_source_location;
+  //  message.error() << error_str << messaget::eom;
+  message += std::string(level, ' ') + "exception: " + e.what() + "\n";
+  try
+  {
+    std::rethrow_if_nested(e);
+  }
+  catch(const std::exception &e)
+  {
+    unwrap_exception(e, level + 1, message);
+  }
+  catch(...)
+  {
+    UNREACHABLE;
+  }
+  return message;
+}

src/goto-symex/symex_target_equation.h

@@ -332,24 +332,6 @@ inline bool operator<(
 std::string unwrap_exception(
   const std::exception &e,
   int level = 0,
-  std::string message = "")
-{
-  //  messaget message(get_message_handler());
-  //  message.error().source_location=symex.last_source_location;
-  //  message.error() << error_str << messaget::eom;
-  message += std::string(level, ' ') + "exception: " + e.what() + "\n";
-  try
-  {
-    std::rethrow_if_nested(e);
-  }
-  catch(const std::exception &e)
-  {
-    unwrap_exception(e, level + 1, message);
-  }
-  catch(...)
-  {
-  }
-  return message;
-}
+  std::string message = "");
 
 #endif // CPROVER_GOTO_SYMEX_SYMEX_TARGET_EQUATION_H