From: Ehsan Azimi <eazimi@ehsan.irisa.fr>
Date: Fri, 11 Dec 2020 11:04:14 +0000 (+0100)
Subject: mcapi::mc_inc_executed_trans() in replay()
X-Git-Tag: v3.26~13^2~11
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/4f731dafc5e11002f2d30476a4c5f9f3a3cc6e67

mcapi::mc_inc_executed_trans() in replay()
---

diff --git a/src/mc/checker/LivenessChecker.cpp b/src/mc/checker/LivenessChecker.cpp
index d09e87d1b8..476dfef56b 100644
--- a/src/mc/checker/LivenessChecker.cpp
+++ b/src/mc/checker/LivenessChecker.cpp
@@ -150,7 +150,7 @@ void LivenessChecker::replay()
 
     /* Update statistics */
     visited_pairs_count_++;
-    mc_model_checker->executed_transitions++;
+    mcapi::get().mc_inc_executed_trans();
 
     depth++;
   }