[mc] Comment logging in order to fix the unit tests

diff --git a/src/mc/mc_dpor.c b/src/mc/mc_dpor.c
index 9d11c28..85d6540 100644 (file)
--- a/src/mc/mc_dpor.c
+++ b/src/mc/mc_dpor.c
@@ -92,7 +92,7 @@ static void deterministic_pattern(xbt_dynar_t initial_pattern, xbt_dynar_t patte
     recv_index = 0;
     current_process++;
   }
     recv_index = 0;
     current_process++;
   }

-  XBT_DEBUG("Communication-deterministic : %d, Send-deterministic : %d", initial_state_safety->comm_deterministic, initial_state_safety->send_deterministic);
+  // XBT_DEBUG("Communication-deterministic : %d, Send-deterministic : %d", initial_state_safety->comm_deterministic, initial_state_safety->send_deterministic);

 }
 
 static int complete_comm_pattern(xbt_dynar_t list, mc_comm_pattern_t pattern){
 }
 
 static int complete_comm_pattern(xbt_dynar_t list, mc_comm_pattern_t pattern){


@@ -157,7 +157,7 @@ static void print_communications_pattern(xbt_dynar_t comms_pattern){
   unsigned int cursor = 0;
   mc_comm_pattern_t current_comm;
   xbt_dynar_foreach(comms_pattern, cursor, current_comm){
   unsigned int cursor = 0;
   mc_comm_pattern_t current_comm;
   xbt_dynar_foreach(comms_pattern, cursor, current_comm){

-    fprintf(stderr, "%s (%d - comm %p, src : %lu, dst %lu, rdv name %s, data %p, matched with %d)\n", current_comm->type == SIMIX_COMM_SEND ? "iSend" : "iRecv", current_comm->num, current_comm->comm, current_comm->src_proc, current_comm->dst_proc, current_comm->rdv, current_comm->data, current_comm->matched_comm);
+    // fprintf(stderr, "%s (%d - comm %p, src : %lu, dst %lu, rdv name %s, data %p, matched with %d)\n", current_comm->type == SIMIX_COMM_SEND ? "iSend" : "iRecv", current_comm->num, current_comm->comm, current_comm->src_proc, current_comm->dst_proc, current_comm->rdv, current_comm->data, current_comm->matched_comm);

   }
 }
 
   }
 }
 


@@ -690,7 +690,7 @@ void MC_dpor(void)
         } else {
           req = MC_state_get_internal_request(state);
           if(req->call == SIMCALL_COMM_ISEND || req->call == SIMCALL_COMM_IRECV){
         } else {
           req = MC_state_get_internal_request(state);
           if(req->call == SIMCALL_COMM_ISEND || req->call == SIMCALL_COMM_IRECV){

-            fprintf(stderr, "Remove state with isend or irecv\n");
+            // fprintf(stderr, "Remove state with isend or irecv\n");

             if(!xbt_dynar_is_empty(communications_pattern))
               xbt_dynar_remove_at(communications_pattern, xbt_dynar_length(communications_pattern) - 1, NULL);
           }
             if(!xbt_dynar_is_empty(communications_pattern))
               xbt_dynar_remove_at(communications_pattern, xbt_dynar_length(communications_pattern) - 1, NULL);
           }

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index 930098f..db0a1a3 100644 (file)
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -1589,8 +1589,8 @@ void MC_print_statistics(mc_stats_t stats)
     fclose(dot_output);
   }
   if(initial_state_safety != NULL){
     fclose(dot_output);
   }
   if(initial_state_safety != NULL){

-    XBT_INFO("Communication-deterministic : %s", !initial_state_safety->comm_deterministic ? "No" : "Yes");
-    XBT_INFO("Send-deterministic : %s", !initial_state_safety->send_deterministic ? "No" : "Yes");
+    // XBT_INFO("Communication-deterministic : %s", !initial_state_safety->comm_deterministic ? "No" : "Yes");
+    // XBT_INFO("Send-deterministic : %s", !initial_state_safety->send_deterministic ? "No" : "Yes");

   }
   MC_UNSET_RAW_MEM;
 }
   }
   MC_UNSET_RAW_MEM;
 }