- std::unique_ptr<simgrid::mc::Checker> checker = create_checker(*simgrid::mc::session);
- int res = SIMGRID_MC_EXIT_SUCCESS;
+ 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;
+
+ int res = SIMGRID_MC_EXIT_SUCCESS;
+ auto checker = api::get().initialize(argv_copy, algo);