int res = SIMGRID_MC_EXIT_SUCCESS;
std::unique_ptr<simgrid::mc::Exploration> checker{
simgrid::mc::Api::get().initialize(argv_copy.data(), environment, algo)};
int res = SIMGRID_MC_EXIT_SUCCESS;
std::unique_ptr<simgrid::mc::Exploration> checker{
simgrid::mc::Api::get().initialize(argv_copy.data(), environment, algo)};