const char *subprogram_name,
simgrid::mc::ObjectInformation* info);
const char *subprogram_name,
simgrid::mc::ObjectInformation* info);
{
simgrid::mc::Process* process = &mc_model_checker->process();
if (strcmp(frame_name, "*") == 0)
{
simgrid::mc::Process* process = &mc_model_checker->process();
if (strcmp(frame_name, "*") == 0)