[mc] Get rid of MC_state_set_executed_request() in order to simplify the Checkers

[simgrid.git] / src / mc / SafetyChecker.cpp

diff --git a/src/mc/SafetyChecker.cpp b/src/mc/SafetyChecker.cpp
index f79c6b9..e7c62e8 100644 (file)
--- a/src/mc/SafetyChecker.cpp
+++ b/src/mc/SafetyChecker.cpp
@@ -132,7 +132,6 @@ int SafetyChecker::run()
     if (dot_output != nullptr)
       req_str = simgrid::mc::request_get_dot_output(req, value);
 
     if (dot_output != nullptr)
       req_str = simgrid::mc::request_get_dot_output(req, value);
 

-    MC_state_set_executed_request(state, req, value);

     mc_stats->executed_transitions++;
 
     // TODO, bundle both operations in a single message
     mc_stats->executed_transitions++;
 
     // TODO, bundle both operations in a single message