Remove the stateful model-checking from the archive. It's not working anymore

[simgrid.git] / include / smpi / smpi_extended_traces_fortran.h

diff --git a/include/smpi/smpi_extended_traces_fortran.h b/include/smpi/smpi_extended_traces_fortran.h
index be47ad1..4684b6b 100644 (file)
--- a/include/smpi/smpi_extended_traces_fortran.h
+++ b/include/smpi/smpi_extended_traces_fortran.h
@@ -781,3 +781,39 @@
 #define MPI_STATUS_F2C smpi_trace_set_call_location(__FILE__,__LINE__,"MPI_STATUS_F2C"); call MPI_Status_f2c
 #define mpi_status_c2f smpi_trace_set_call_location(__FILE__,__LINE__,"mpi_status_c2f"); call MPI_Status_c2f
 #define MPI_STATUS_C2F smpi_trace_set_call_location(__FILE__,__LINE__,"MPI_STATUS_C2F"); call MPI_Status_c2f
+#define mpi_parrived                                                                                                   \
+  smpi_trace_set_call_location(__FILE__, __LINE__, "mpi_parrived");                                                    \
+  call MPI_Parrived
+#define MPI_PARRIVED                                                                                                   \
+  smpi_trace_set_call_location(__FILE__, __LINE__, "MPI_PARRIVED");                                                    \
+  call MPI_Parrived
+#define mpi_pready                                                                                                     \
+  smpi_trace_set_call_location(__FILE__, __LINE__, "mpi_pready");                                                      \
+  call MPI_Pready
+#define MPI_PREADY                                                                                                     \
+  smpi_trace_set_call_location(__FILE__, __LINE__, "MPI_PREADY");                                                      \
+  call MPI_Pready
+#define mpi_pready_range                                                                                               \
+  smpi_trace_set_call_location(__FILE__, __LINE__, "mpi_pready_range");                                                \
+  call MPI_Pready_range
+#define MPI_PREADY_RANGE                                                                                               \
+  smpi_trace_set_call_location(__FILE__, __LINE__, "MPI_PREADY_RANGE");                                                \
+  call MPI_Pready_range
+#define mpi_pready_list                                                                                                \
+  smpi_trace_set_call_location(__FILE__, __LINE__, "mpi_pready_list");                                                 \
+  call MPI_Pready_list
+#define MPI_PREADY_LIST                                                                                                \
+  smpi_trace_set_call_location(__FILE__, __LINE__, "MPI_PREADY_LIST");                                                 \
+  call MPI_Pready_list
+#define mpi_precv_init                                                                                                 \
+  smpi_trace_set_call_location(__FILE__, __LINE__, "mpi_precv_init");                                                  \
+  call MPI_Precv_init
+#define MPI_PRECV_INIT                                                                                                 \
+  smpi_trace_set_call_location(__FILE__, __LINE__, "MPI_PRECV_INIT");                                                  \
+  call MPI_Precv_init
+#define mpi_psend_init                                                                                                 \
+  smpi_trace_set_call_location(__FILE__, __LINE__, "mpi_psend_init");                                                  \
+  call MPI_Psend_init
+#define MPI_PSEND_INIT                                                                                                 \
+  smpi_trace_set_call_location(__FILE__, __LINE__, "MPI_PSEND_INIT");                                                  \
+  call MPI_Psend_init