mc_model_checker->setChecker(checker);
}
-RemoteSimulation& Api::mc_get_remote_simulation() const
-{
- return mc_model_checker->get_remote_simulation();
-}
-
void Api::handle_simcall(Transition const& transition) const
{
mc_model_checker->handle_simcall(transition);
bool mc_is_null() const;
Checker* mc_get_checker() const;
void set_checker(Checker* const checker) const;
- RemoteSimulation& mc_get_remote_simulation() const;
void handle_simcall(Transition const& transition) const;
void mc_wait_for_requests() const;
XBT_ATTRIB_NORETURN void mc_exit(int status) const;