From c68a5e6ea27361779c98e8490dc14daba58dd8d6 Mon Sep 17 00:00:00 2001 From: Ehsan Azimi Date: Tue, 27 Oct 2020 11:10:09 +0100 Subject: [PATCH] SafetyChecker::log_state() calls APIs of mc_api --- src/mc/checker/SafetyChecker.cpp | 4 ++-- src/mc/mc_api.cpp | 5 ----- src/mc/mc_api.hpp | 1 - 3 files changed, 2 insertions(+), 8 deletions(-) diff --git a/src/mc/checker/SafetyChecker.cpp b/src/mc/checker/SafetyChecker.cpp index 95f1f6be5a..e689a83dbd 100644 --- a/src/mc/checker/SafetyChecker.cpp +++ b/src/mc/checker/SafetyChecker.cpp @@ -75,8 +75,8 @@ std::vector SafetyChecker::get_textual_trace() // override 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() diff --git a/src/mc/mc_api.cpp b/src/mc/mc_api.cpp index c6012a47a8..d78f38b82e 100644 --- a/src/mc/mc_api.cpp +++ b/src/mc/mc_api.cpp @@ -31,11 +31,6 @@ void mc_api::s_initialize() const session->initialize(); } -void mc_api::create_model_checker(std::unique_ptr remote_simulation, int sockfd) -{ - -} - ModelChecker* mc_api::get_model_checker() const { return mc_model_checker; diff --git a/src/mc/mc_api.hpp b/src/mc/mc_api.hpp index c85f87f1b7..b9d439fb32 100644 --- a/src/mc/mc_api.hpp +++ b/src/mc/mc_api.hpp @@ -38,7 +38,6 @@ public: void initialize(char** argv); // MODEL_CHECKER FUNCTIONS - void create_model_checker(std::unique_ptr remote_simulation, int sockfd); ModelChecker* get_model_checker() const; void mc_inc_visited_states() const; void mc_inc_executed_trans() const; -- 2.20.1