From 689fe1054979dad8f0e0a217a17b2c65918658bd Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Fri, 11 Mar 2016 15:58:52 +0100 Subject: [PATCH] [mc] FIXME MC_cut() --- src/mc/mc_client_api.cpp | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/mc/mc_client_api.cpp b/src/mc/mc_client_api.cpp index bd2482de49..d362072369 100644 --- a/src/mc/mc_client_api.cpp +++ b/src/mc/mc_client_api.cpp @@ -38,6 +38,9 @@ void MC_assert(int prop) void MC_cut(void) { + // FIXME, this is a function called in the model-checked + // but the variable must be set in the model-checker. + // We should send a message here instead. user_max_depth_reached = 1; } -- 2.20.1