model_checker_.reset(new simgrid::mc::ModelChecker(std::move(process), sockets[1]));
mc_model_checker = model_checker_.get();
model_checker_.reset(new simgrid::mc::ModelChecker(std::move(process), sockets[1]));
mc_model_checker = model_checker_.get();