From cb4677ed30e0b693c7866f745333ae69233c46e5 Mon Sep 17 00:00:00 2001 From: Ehsan Azimi Date: Fri, 11 Dec 2020 11:46:37 +0100 Subject: [PATCH] mcapi::simcall_get_issuer() in replay() --- 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 1cdf83a97c..6535c8666e 100644 --- a/src/mc/checker/LivenessChecker.cpp +++ b/src/mc/checker/LivenessChecker.cpp @@ -138,7 +138,7 @@ void LivenessChecker::replay() /* because we got a copy of the executed request, we have to fetch the real one, pointed by the request field of the issuer process */ - const smx_actor_t issuer = MC_smx_simcall_get_issuer(saved_req); + const smx_actor_t issuer = mcapi::get().simcall_get_issuer(saved_req); req = &issuer->simcall_; /* Debug information */ -- 2.20.1