X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/e0481971818cedf0a8ee3e23e513bffca846ee65..e54bcd49648261e387053d73bf78b4dbb78dd463:/src/smpi/smpi_global.c?ds=sidebyside

diff --git a/src/smpi/smpi_global.c b/src/smpi/smpi_global.c
index 1c5039687f..f793dd560b 100644
--- a/src/smpi/smpi_global.c
+++ b/src/smpi/smpi_global.c
@@ -295,6 +295,10 @@ void smpi_global_init(void)
   for (i = 0; i < process_count; i++) {
     smpi_group_set_mapping(group, i, i);
   }
+
+  //check correctness of MPI parameters
+
+  xbt_assert(sg_cfg_get_int("smpi/async_small_thres")<=sg_cfg_get_int("smpi/send_is_detached_thres"));
 }
 
 void smpi_global_destroy(void)