+ /* smpi computing */
+ int default_tracing_smpi_computing = 0;
+ xbt_cfg_register(&_surf_cfg_set, OPT_TRACING_SMPI_COMPUTING,
+ "Generate states for timing out of SMPI parts of the application",
+ xbt_cfgelm_int, &default_tracing_smpi_computing, 0, 1,
+ NULL, NULL);