int TRACE_smpi_is_enabled(void)
{
- return (xbt_cfg_get_int(_surf_cfg_set, OPT_TRACING_SMPI) ||
- TRACE_smpi_is_grouped())&&
- TRACE_is_enabled();
+ return (trace_smpi_enabled || TRACE_smpi_is_grouped())
+ && TRACE_is_enabled();
}
int TRACE_smpi_is_grouped(void)