From b4aa5009927bf7616908aeb10381027302b1ca3d Mon Sep 17 00:00:00 2001 From: Ehsan Azimi Date: Fri, 11 Dec 2020 10:52:53 +0100 Subject: [PATCH] mcapi::get().get_remote_heap_bytes() called in VisitedPair() --- src/mc/checker/LivenessChecker.cpp | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/src/mc/checker/LivenessChecker.cpp b/src/mc/checker/LivenessChecker.cpp index c38eb97f4e..84021dac5e 100644 --- a/src/mc/checker/LivenessChecker.cpp +++ b/src/mc/checker/LivenessChecker.cpp @@ -29,13 +29,10 @@ VisitedPair::VisitedPair(int pair_num, xbt_automaton_state_t automaton_state, std::shared_ptr graph_state) : num(pair_num), automaton_state(automaton_state) { - RemoteSimulation* process = &(mc_model_checker->get_remote_simulation()); - this->graph_state = std::move(graph_state); if (this->graph_state->system_state_ == nullptr) this->graph_state->system_state_ = std::make_shared(pair_num); - this->heap_bytes_used = mmalloc_get_bytes_used_remote(process->get_heap()->heaplimit, process->get_malloc_info()); - + this->heap_bytes_used = mcapi::get().get_remote_heap_bytes(); this->actors_count = mc_model_checker->get_remote_simulation().actors().size(); this->other_num = -1; -- 2.20.1