synchronize all replay processes at the end

to avoid some of them being destroyed wrongfully

diff --git a/src/smpi/smpi_replay.c b/src/smpi/smpi_replay.c
index c2002b5..a82925e 100644 (file)
--- a/src/smpi/smpi_replay.c
+++ b/src/smpi/smpi_replay.c
@@ -625,5 +625,6 @@ int smpi_replay_finalize(){
     xbt_free(reqq);
     reqq = NULL;
   }
+  smpi_mpi_barrier(MPI_COMM_WORLD);
   return PMPI_Finalize();
 }