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

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

diff --git a/src/mc/CommunicationDeterminismChecker.cpp b/src/mc/CommunicationDeterminismChecker.cpp
index f983945..ea3ab38 100644 (file)
--- a/src/mc/CommunicationDeterminismChecker.cpp
+++ b/src/mc/CommunicationDeterminismChecker.cpp
@@ -410,7 +410,6 @@ int CommunicationDeterminismChecker::main(void)
       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 : handle test and testany simcalls */
       mc_stats->executed_transitions++;
 
       /* TODO : handle test and testany simcalls */