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

diff --git a/include/simgrid/modelchecker.h b/include/simgrid/modelchecker.h
index 9f260a3..0993b45 100644 (file)
--- 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 a2aa358..a7f1db8 100644 (file)
--- 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)