From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Sat, 10 Aug 2013 10:22:49 +0000 (+0200)
Subject: model-checker : rename MC_max_depth(int prop) -> MC_cut()
X-Git-Tag: v3_9_90~128^2~23
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/53cbd5e910532d42818e595e277e18143bebee6e?hp=e8b3a14465edd424a70a7270f4f287e0705a156e

model-checker : rename MC_max_depth(int prop) -> MC_cut()
---

diff --git a/include/simgrid/modelchecker.h b/include/simgrid/modelchecker.h
index 9f260a3953..0993b4566c 100644
--- a/include/simgrid/modelchecker.h
+++ b/include/simgrid/modelchecker.h
@@ -23,7 +23,7 @@ XBT_PUBLIC(int) MC_random(void);
 XBT_PUBLIC(void) MC_automaton_new_propositional_symbol(const char* id, void* fct);
 XBT_PUBLIC(void *) MC_snapshot(void);
 XBT_PUBLIC(int) MC_compare_snapshots(void *s1, void *s2);
-XBT_PUBLIC(void) MC_max_depth(int);
+XBT_PUBLIC(void) MC_cut(void);
 
 #else
 
diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index a2aa3588be..a7f1db87e7 100644
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -2391,8 +2391,8 @@ void MC_assert(int prop)
   }
 }
 
-void MC_max_depth(int max_depth){
-  user_max_depth_reached = max_depth;
+void MC_cut(void){
+  user_max_depth_reached = 1;
 }
 
 void MC_process_clock_add(smx_process_t process, double amount)