+/* smpi sleeping */
+ xbt_cfg_register(&_sg_cfg_set, OPT_TRACING_SMPI_SLEEPING,
+ "Generate states for timing out of SMPI parts of the application",
+ xbt_cfgelm_boolean, 1, 1, NULL, NULL);
+ xbt_cfg_setdefault_boolean(_sg_cfg_set, OPT_TRACING_SMPI_SLEEPING, "no");
+
+