From 6db44d40a0cb94c4ad8fac6861e349057bf932e7 Mon Sep 17 00:00:00 2001 From: Ehsan Azimi Date: Tue, 8 Dec 2020 17:14:27 +0100 Subject: [PATCH] mcapi::log_state() in run() --- src/mc/checker/LivenessChecker.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/mc/checker/LivenessChecker.cpp b/src/mc/checker/LivenessChecker.cpp index 9ea9c62d17..0b0aa17d0f 100644 --- a/src/mc/checker/LivenessChecker.cpp +++ b/src/mc/checker/LivenessChecker.cpp @@ -412,7 +412,7 @@ void LivenessChecker::run() } XBT_INFO("No property violation found."); - mc::session->log_state(); + mcapi::get().log_state(); } Checker* createLivenessChecker(Session& s) -- 2.20.1