From: Ehsan Azimi <eazimi@ehsan.irisa.fr>
Date: Tue, 8 Dec 2020 16:13:15 +0000 (+0100)
Subject: mcapi::mc_inc_executed_trans() in run()
X-Git-Tag: v3.26~13^2~25
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/e9c8c210d46f749681f132dcc50436bc00881bf9

mcapi::mc_inc_executed_trans() in run()
---

diff --git a/src/mc/checker/LivenessChecker.cpp b/src/mc/checker/LivenessChecker.cpp
index acb26211b4..c533e9b457 100644
--- a/src/mc/checker/LivenessChecker.cpp
+++ b/src/mc/checker/LivenessChecker.cpp
@@ -384,7 +384,8 @@ void LivenessChecker::run()
     XBT_DEBUG("Execute: %s", mcapi::get().request_to_string(req, req_num, RequestType::simix).c_str());
 
     /* Update stats */
-    mc_model_checker->executed_transitions++;
+    mcapi::get().mc_inc_executed_trans();
+
     if (not current_pair->exploration_started)
       visited_pairs_count_++;