3 #include "src/mc/Session.hpp"
4 #include "src/mc/mc_private.hpp"
5 #include "src/mc/mc_smx.hpp"
6 #include "src/mc/remote/RemoteSimulation.hpp"
7 #include "src/mc/mc_record.hpp"
9 #include <xbt/asserts.h>
12 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_api, mc, "Logging specific to MC Fasade APIs ");
17 void mc_api::initialize(char** argv)
19 simgrid::mc::session = new simgrid::mc::Session([argv] {
21 while (argv[i] != nullptr && argv[i][0] == '-')
23 xbt_assert(argv[i] != nullptr,
24 "Unable to find a binary to exec on the command line. Did you only pass config flags?");
25 execvp(argv[i], argv + i);
26 xbt_die("The model-checked process failed to exec(): %s", strerror(errno));
30 std::vector<simgrid::mc::ActorInformation>& mc_api::get_actors() const
32 return mc_model_checker->get_remote_simulation().actors();
35 bool mc_api::actor_is_enabled(aid_t pid) const
37 return session->actor_is_enabled(pid);
40 void mc_api::s_initialize() const
42 session->initialize();
45 ModelChecker* mc_api::get_model_checker() const
47 return mc_model_checker;
50 void mc_api::mc_inc_visited_states() const
52 mc_model_checker->visited_states++;
55 void mc_api::mc_inc_executed_trans() const
57 mc_model_checker->executed_transitions++;
60 unsigned long mc_api::mc_get_visited_states() const
62 return mc_model_checker->visited_states;
65 unsigned long mc_api::mc_get_executed_trans() const
67 return mc_model_checker->executed_transitions;
70 bool mc_api::mc_check_deadlock() const
72 return mc_model_checker->checkDeadlock();
75 void mc_api::mc_show_deadlock() const
80 smx_actor_t mc_api::mc_smx_simcall_get_issuer(s_smx_simcall const* req) const
82 return MC_smx_simcall_get_issuer(req);
85 bool mc_api::mc_is_null() const
87 auto is_null = (mc_model_checker == nullptr) ? true : false;
91 Checker* mc_api::mc_get_checker() const
93 return mc_model_checker->getChecker();
96 RemoteSimulation& mc_api::mc_get_remote_simulation() const
98 return mc_model_checker->get_remote_simulation();
101 void mc_api::handle_simcall(Transition const& transition) const
103 mc_model_checker->handle_simcall(transition);
106 void mc_api::mc_wait_for_requests() const
108 mc_model_checker->wait_for_requests();
111 void mc_api::mc_exit(int status) const
113 mc_model_checker->exit(status);
116 std::string const& mc_api::mc_get_host_name(std::string const& hostname) const
118 return mc_model_checker->get_host_name(hostname);
121 PageStore& mc_api::mc_page_store() const
123 return mc_model_checker->page_store();
126 void mc_api::mc_dump_record_path() const
128 simgrid::mc::dumpRecordPath();
131 smx_simcall_t mc_api::mc_state_choose_request(simgrid::mc::State* state) const
133 return MC_state_choose_request(state);
136 bool mc_api::request_depend(smx_simcall_t req1, smx_simcall_t req2) const
138 return simgrid::mc::request_depend(req1, req2);
141 std::string mc_api::request_to_string(smx_simcall_t req, int value, RequestType request_type) const
143 return simgrid::mc::request_to_string(req, value, request_type).c_str();
146 std::string mc_api::request_get_dot_output(smx_simcall_t req, int value) const
148 return simgrid::mc::request_get_dot_output(req, value);
151 const char* mc_api::simix_simcall_name(e_smx_simcall_t kind) const
153 return SIMIX_simcall_name(kind);
156 bool mc_api::snapshot_equal(const Snapshot* s1, const Snapshot* s2) const
158 return simgrid::mc::snapshot_equal(s1, s2);
161 void mc_api::s_close() const
166 void mc_api::s_restore_initial_state() const
168 session->restore_initial_state();
171 void mc_api::execute(Transition const& transition)
173 session->execute(transition);
176 void mc_api::s_log_state() const
178 session->log_state();
182 } // namespace simgrid