From 3a4ce12090813eec44fb68c53ff18ef41d2ad571 Mon Sep 17 00:00:00 2001 From: Ehsan Azimi Date: Mon, 30 Nov 2020 09:56:18 +0100 Subject: [PATCH] A little bit clean up, mc_api::s_log_state() renamed to mc_api::log_state() --- src/mc/checker/CommunicationDeterminismChecker.cpp | 6 +++--- src/mc/checker/SafetyChecker.cpp | 4 ++-- src/mc/mc_api.cpp | 2 +- src/mc/mc_api.hpp | 2 +- 4 files changed, 7 insertions(+), 7 deletions(-) diff --git a/src/mc/checker/CommunicationDeterminismChecker.cpp b/src/mc/checker/CommunicationDeterminismChecker.cpp index 85ba0f5e64..34e669b64d 100644 --- a/src/mc/checker/CommunicationDeterminismChecker.cpp +++ b/src/mc/checker/CommunicationDeterminismChecker.cpp @@ -143,7 +143,7 @@ void CommunicationDeterminismChecker::deterministic_comm_pattern(int process, co XBT_INFO("%s", this->send_diff); xbt_free(this->send_diff); this->send_diff = nullptr; - mcapi::get().s_log_state(); + mcapi::get().log_state(); mcapi::get().mc_exit(SIMGRID_MC_EXIT_NON_DETERMINISM); } else if (_sg_mc_comms_determinism && (not this->send_deterministic && not this->recv_deterministic)) { XBT_INFO("****************************************************"); @@ -159,7 +159,7 @@ void CommunicationDeterminismChecker::deterministic_comm_pattern(int process, co xbt_free(this->recv_diff); this->recv_diff = nullptr; } - mcapi::get().s_log_state(); + mcapi::get().log_state(); mcapi::get().mc_exit(SIMGRID_MC_EXIT_NON_DETERMINISM); } } @@ -499,7 +499,7 @@ void CommunicationDeterminismChecker::real_run() } } - mcapi::get().s_log_state(); + mcapi::get().log_state(); } void CommunicationDeterminismChecker::run() diff --git a/src/mc/checker/SafetyChecker.cpp b/src/mc/checker/SafetyChecker.cpp index 9ba128fedb..cf9261449a 100644 --- a/src/mc/checker/SafetyChecker.cpp +++ b/src/mc/checker/SafetyChecker.cpp @@ -47,7 +47,7 @@ void SafetyChecker::check_non_termination(const State* current_state) for (auto const& s : checker->get_textual_trace()) XBT_INFO(" %s", s.c_str()); mcapi::get().mc_dump_record_path(); - mcapi::get().s_log_state(); + mcapi::get().log_state(); throw TerminationError(); } @@ -173,7 +173,7 @@ void SafetyChecker::run() } XBT_INFO("No property violation found."); - mcapi::get().s_log_state(); + mcapi::get().log_state(); } void SafetyChecker::backtrack() diff --git a/src/mc/mc_api.cpp b/src/mc/mc_api.cpp index dbec9d9b4d..bee98a6fd2 100644 --- a/src/mc/mc_api.cpp +++ b/src/mc/mc_api.cpp @@ -492,7 +492,7 @@ void mc_api::execute(Transition const& transition) session->execute(transition); } -void mc_api::s_log_state() const +void mc_api::log_state() const { session->log_state(); } diff --git a/src/mc/mc_api.hpp b/src/mc/mc_api.hpp index 0abe234a87..f7f5e13dc0 100644 --- a/src/mc/mc_api.hpp +++ b/src/mc/mc_api.hpp @@ -95,13 +95,13 @@ public: // SNAPSHOT APIs bool snapshot_equal(const Snapshot* s1, const Snapshot* s2) const; simgrid::mc::Snapshot* take_snapshot(int num_state) const; + void log_state() const; // SESSION APIs void s_initialize() const; void s_close() const; void s_restore_initial_state() const; void execute(Transition const& transition); - void s_log_state() const; }; } // namespace mc -- 2.20.1