model-checker : new tesh examples about communications determinism verification

[simgrid.git] / examples / smpi / mc / send_deterministic.c

diff --git a/examples/smpi/mc/send_deterministic.c b/examples/smpi/mc/send_deterministic.c
index fe42106..6406ce8 100644 (file)
--- a/examples/smpi/mc/send_deterministic.c
+++ b/examples/smpi/mc/send_deterministic.c
@@ -23,8 +23,8 @@ int main(int argc, char **argv)
     exit(1);
   }
 
-  err = MPI_Comm_size(MPI_COMM_WORLD, &size);   /* Get nr of tasks */
-  err = MPI_Comm_rank(MPI_COMM_WORLD, &rank);   /* Get id of this process */
+  MPI_Comm_size(MPI_COMM_WORLD, &size);   /* Get nr of tasks */
+  MPI_Comm_rank(MPI_COMM_WORLD, &rank);   /* Get id of this process */
   if (size < 2) {
     printf("run this program with at least 2 processes \n");
     MPI_Finalize();
@@ -32,16 +32,16 @@ int main(int argc, char **argv)
   }
 
   if (rank == 0) {
-    printf("MPI_ISend / MPI_IRecv Test \n");
+    //printf("MPI_ISend / MPI_IRecv Test \n");
 
     for(i=0; i < size - 1; i++){
       MPI_Recv(&recv_buff, 1, MPI_INT, MPI_ANY_SOURCE, MPI_ANY_TAG, MPI_COMM_WORLD, &status);
-      printf("Message received from %d\n", recv_buff);
+      //printf("Message received from %d\n", recv_buff);
     }
 
   }else{
     MPI_Send(&rank, 1, MPI_INT, 0, 42, MPI_COMM_WORLD);
-    printf("Sent %d to rank 0\n", rank);
+    //printf("Sent %d to rank 0\n", rank);
   }
 
   MPI_Finalize();