#include <memory>
#include <unistd.h>
-using mcapi = simgrid::mc::mc_api;
+using api = simgrid::mc::Api;
static inline
char** argvdup(int argc, char** argv)
{
if (_sg_mc_comms_determinism || _sg_mc_send_determinism)
return std::unique_ptr<simgrid::mc::Checker>(simgrid::mc::createCommunicationDeterminismChecker());
+ else if (_sg_mc_unfolding_checker)
+ return std::unique_ptr<simgrid::mc::Checker>(simgrid::mc::createUdporChecker());
else if (_sg_mc_property_file.get().empty())
return std::unique_ptr<simgrid::mc::Checker>(simgrid::mc::createSafetyChecker());
else
smpi_init_options(); // only performed once
#endif
sg_config_init(&argc, argv);
- mcapi::get().initialize(argv_copy);
+ api::get().initialize(argv_copy);
delete[] argv_copy;
auto checker = create_checker();
res = SIMGRID_MC_EXIT_LIVENESS;
}
checker = nullptr;
- mcapi::get().s_close();
+ api::get().s_close();
return res;
}