return std::unique_ptr<simgrid::mc::Checker>(simgrid::mc::createSafetyChecker(session));
else
return std::unique_ptr<simgrid::mc::Checker>(simgrid::mc::createLivenessChecker(session));
return std::unique_ptr<simgrid::mc::Checker>(simgrid::mc::createSafetyChecker(session));
else
return std::unique_ptr<simgrid::mc::Checker>(simgrid::mc::createLivenessChecker(session));