[mc] Remove the TODO about MC_dump_stacks()

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

diff --git a/src/mc/mc_liveness.cpp b/src/mc/mc_liveness.cpp
index 254a130604bccacf560768a0333920872e5c6e90..cc9897d0cba3e61bb5582dd67dcc0ad605b8abac 100644 (file)
--- a/src/mc/mc_liveness.cpp
+++ b/src/mc/mc_liveness.cpp
@@ -354,7 +354,7 @@ int is_visited_pair(simgrid::mc::VisitedPair* visited_pair, simgrid::mc::Pair* p
   if ((ssize_t) visited_pairs.size() > _sg_mc_visited) {
     int min2 = mc_stats->expanded_pairs;
     unsigned int index2 = 0;
-    for (std::size_t i = 0; i != visited_pairs.size(); ++i) {
+    for (std::size_t i = 0; i != (std::size_t) visited_pairs.size(); ++i) {
       simgrid::mc::VisitedPair* pair_test = visited_pairs[i];
       if (!mc_model_checker->is_important_snapshot(*pair_test->graph_state->system_state)
           && pair_test->num < min2) {
@@ -554,9 +554,6 @@ int modelcheck_liveness(void)
   MC_pre_modelcheck_liveness();
   int res = MC_modelcheck_liveness_main();
 
-  /* We're done */
-  simgrid::mc::processes_time.clear();
-
   return res;
 }