Remove the hostnames from the CommDet patterns: MC does not have this info anymore

[simgrid.git] / src / mc / checker / LivenessChecker.cpp

diff --git a/src/mc/checker/LivenessChecker.cpp b/src/mc/checker/LivenessChecker.cpp
index 1927cc4..e8f39c1 100644 (file)
--- a/src/mc/checker/LivenessChecker.cpp
+++ b/src/mc/checker/LivenessChecker.cpp
@@ -214,11 +214,9 @@ void LivenessChecker::show_acceptance_cycle(std::size_t depth)
 std::vector<std::string> LivenessChecker::get_textual_trace() // override
 {
   std::vector<std::string> trace;
-  for (std::shared_ptr<Pair> const& pair : exploration_stack_) {
-    smx_simcall_t req = &pair->graph_state->executed_req_;
-    if (req->call_ != simix::Simcall::NONE)
-      trace.push_back(pair->graph_state->get_transition()->to_string());
-  }
+  for (std::shared_ptr<Pair> const& pair : exploration_stack_)
+    trace.push_back(pair->graph_state->get_transition()->to_string());
+
   return trace;
 }