#include "src/mc/mc_safety.h"
#include "src/mc/mc_exit.h"
#include "src/mc/Transition.hpp"
+#include "src/mc/Session.hpp"
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_liveness, mc,
"Logging specific to algorithms for liveness properties verification");
state.get());
}
- mc_model_checker->handle_simcall(state->transition);
- mc_model_checker->wait_for_requests();
+ this->getSession().execute(state->transition);
}
/* Update statistics */