From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Fri, 11 Mar 2016 14:58:52 +0000 (+0100)
Subject: [mc] FIXME MC_cut()
X-Git-Tag: v3_13~451^2~1
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/689fe1054979dad8f0e0a217a17b2c65918658bd

[mc] FIXME MC_cut()
---

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;
 }