+ simgrid::mc::CheckerAlgorithm algo;
+ if (_sg_mc_comms_determinism || _sg_mc_send_determinism)
+ algo = simgrid::mc::CheckerAlgorithm::CommDeterminism;
+ else if (_sg_mc_unfolding_checker)
+ algo = simgrid::mc::CheckerAlgorithm::UDPOR;
+ else if (_sg_mc_property_file.get().empty())
+ algo = simgrid::mc::CheckerAlgorithm::Safety;
+ else
+ algo = simgrid::mc::CheckerAlgorithm::Liveness;
+