From 35bf8d759d6eddb463d7a62cd342a877276041c7 Mon Sep 17 00:00:00 2001 From: Ehsan Azimi Date: Tue, 8 Dec 2020 17:13:41 +0100 Subject: [PATCH] mcapi::handle_simcall() 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 c533e9b457..69e56364f8 100644 --- a/src/mc/checker/LivenessChecker.cpp +++ b/src/mc/checker/LivenessChecker.cpp @@ -390,7 +390,7 @@ void LivenessChecker::run() visited_pairs_count_++; /* Answer the request */ - mc_model_checker->handle_simcall(current_pair->graph_state->transition_); + mcapi::get().handle_simcall(current_pair->graph_state->transition_); /* Wait for requests (schedules processes) */ mc_model_checker->wait_for_requests(); -- 2.20.1