X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/dee660d3d8723212a477dc4eb393b548f06a5f84..50b36cfb6864e719576327d1289cf9ba31d652da:/src/mc/mc_smx.c?ds=sidebyside

diff --git a/src/mc/mc_smx.c b/src/mc/mc_smx.c
index 2f8b8fc081..bf647c7103 100644
--- a/src/mc/mc_smx.c
+++ b/src/mc/mc_smx.c
@@ -250,3 +250,15 @@ const char* MC_smx_process_get_name(smx_process_t p)
   }
   return info->name;
 }
+
+int MC_smpi_process_count(void)
+{
+  if (MC_process_is_self(&mc_model_checker->process))
+    return smpi_process_count();
+  else {
+    int res;
+    MC_process_read_variable(&mc_model_checker->process, "process_count",
+      &res, sizeof(res));
+    return res;
+  }
+}