From 5f20457600525f4dffdecd11aa759539a3195340 Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Thu, 2 Apr 2015 13:28:35 +0200
Subject: [PATCH 1/1] [mc] Bring back snapshot comparison in safety

---
 src/mc/mc_visited.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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) {
-- 
2.20.1