if (_sg_mc_comms_determinism || _sg_mc_send_determinism)
return std::unique_ptr<simgrid::mc::Checker>(
new simgrid::mc::CommunicationDeterminismChecker(session));
if (_sg_mc_comms_determinism || _sg_mc_send_determinism)
return std::unique_ptr<simgrid::mc::Checker>(
new simgrid::mc::CommunicationDeterminismChecker(session));