void SafetyChecker::log_state() // override
{
XBT_INFO("Expanded states = %lu", expanded_states_count_);
- XBT_INFO("Visited states = %lu", mc_model_checker->visited_states);
- XBT_INFO("Executed transitions = %lu", mc_model_checker->executed_transitions);
+ XBT_INFO("Visited states = %lu", mcapi::get().mc_get_visited_states());
+ XBT_INFO("Executed transitions = %lu", mcapi::get().mc_get_executed_trans());
}
void SafetyChecker::run()
void initialize(char** argv);
// MODEL_CHECKER FUNCTIONS
- void create_model_checker(std::unique_ptr<RemoteSimulation> remote_simulation, int sockfd);
ModelChecker* get_model_checker() const;
void mc_inc_visited_states() const;
void mc_inc_executed_trans() const;