Rework the doc of model-check/replay, and add an example with sthread

[simgrid.git] / src / smpi / colls / alltoallv / alltoallv-ring-light-barrier.cpp

diff --git a/src/smpi/colls/alltoallv/alltoallv-ring-light-barrier.cpp b/src/smpi/colls/alltoallv/alltoallv-ring-light-barrier.cpp
index f01702f7122b3d76b715e73cb1d139ec4baec8cc..862dfdf601fe86b915046f87c5b705970f6252b3 100644 (file)
--- a/src/smpi/colls/alltoallv/alltoallv-ring-light-barrier.cpp
+++ b/src/smpi/colls/alltoallv/alltoallv-ring-light-barrier.cpp
@@ -1,4 +1,4 @@
-/* Copyright (c) 2013-2020. The SimGrid Team.
+/* Copyright (c) 2013-2023. The SimGrid Team.
  * All rights reserved.                                                     */
 
 /* This program is free software; you can redistribute it and/or modify it
@@ -27,8 +27,7 @@
  * Author: Ahmad Faraj
 
  ****************************************************************************/
-namespace simgrid{
-namespace smpi{
+namespace simgrid::smpi {
 int alltoallv__ring_light_barrier(const void *send_buff, const int *send_counts, const int *send_disps,
                                   MPI_Datatype send_type,
                                   void *recv_buff, const int *recv_counts, const int *recv_disps,
@@ -72,5 +71,4 @@ int alltoallv__ring_light_barrier(const void *send_buff, const int *send_counts,
 
   return MPI_SUCCESS;
 }
-}
-}
+} // namespace simgrid::smpi