From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Thu, 2 Apr 2015 11:28:35 +0000 (+0200)
Subject: [mc] Bring back snapshot comparison in safety
X-Git-Tag: v3_12~732^2~74
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/5f20457600525f4dffdecd11aa759539a3195340?hp=f875edb3c8ebff56ebfb9341d198bdf498a51618

[mc] Bring back snapshot comparison in safety
---

diff --git a/src/mc/mc_visited.c b/src/mc/mc_visited.c
index 233dff1730..281eb58b4b 100644
--- a/src/mc/mc_visited.c
+++ b/src/mc/mc_visited.c
@@ -292,7 +292,8 @@ mc_visited_state_t is_visited_state(mc_state_t graph_state)
          return new_state->other_num;
          } */
 
-      if(!partial_comm && initial_global_state->initial_communications_pattern_done){
+      if (_sg_mc_safety || (!partial_comm
+        && initial_global_state->initial_communications_pattern_done)) {
 
         cursor = min;
         while (cursor <= max) {