From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Sat, 17 Nov 2012 20:14:38 +0000 (+0100)
Subject: model-checker : stop independance reduction if same request issuer
X-Git-Tag: v3_9_rc1~91^2~73
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/f9f619ce0b60728045c1ef8b469b4d224f791552

model-checker : stop independance reduction if same request issuer
---

diff --git a/src/mc/mc_dpor.c b/src/mc/mc_dpor.c
index 1fe4044cca..d8ab8699bb 100644
--- a/src/mc/mc_dpor.c
+++ b/src/mc/mc_dpor.c
@@ -194,7 +194,6 @@ void MC_dpor(void)
           if(MC_process_is_enabled(process)){
             MC_state_interleave_process(next_state, process);
             XBT_DEBUG("Process %lu enabled with simcall : %d", process->pid, (&process->simcall)->call); 
-            //break;
           }
         }
 
@@ -271,17 +270,14 @@ void MC_dpor(void)
                 xbt_free(req_str);              
               }
 
-              /*if(!MC_state_process_is_done(prev_state, req->issuer))
-                MC_state_interleave_process(prev_state, req->issuer);
-              else
-              XBT_DEBUG("Process %p is in done set", req->issuer);*/
-              
+              break;
+
+            }else if(req->issuer == MC_state_get_executed_request(prev_state, &value)->issuer){
 
               break;
 
             }else{
               
-              //XBT_DEBUG("Independant transitions : (%lu) %d - (%lu) %d", req->issuer->pid, req->call, MC_state_get_internal_request(prev_state)->issuer->pid, MC_state_get_internal_request(prev_state)->call);
               MC_state_remove_interleave_process(prev_state, req->issuer);
 
             }