From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Wed, 7 Nov 2012 14:43:28 +0000 (+0100)
Subject: model-checker : comment trigger for state equality detection
X-Git-Tag: v3_9_rc1~91^2~126^2~20
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/225f61cee1db75a997e6f4654b0de8218e3aa8fc

model-checker : comment trigger for state equality detection
---

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index 98eb2d4ee2..2348827271 100644
--- a/src/mc/mc_liveness.c
+++ b/src/mc/mc_liveness.c
@@ -76,7 +76,7 @@ int reached(xbt_state_t st){
   
   MC_UNSET_RAW_MEM;
   
-  if(xbt_dynar_is_empty(reached_pairs) || !compare){
+  if(xbt_dynar_is_empty(reached_pairs)/* || !compare*/){
 
     MC_SET_RAW_MEM;
     /* New pair reached */