void TRACE_smx_host_execute(smx_action_t act)
{
- if (!TRACE_is_active()) return;
+ if (!TRACE_is_enabled()) return;
return;
}
void TRACE_smx_action_communicate(smx_action_t act, smx_process_t proc)
{
- if (!TRACE_is_active()) return;
+ if (!TRACE_is_enabled()) return;
return;
}
void TRACE_smx_action_destroy(smx_action_t act)
{
- if (!TRACE_is_active()) return;
+ if (!TRACE_is_enabled()) return;
return;
}