model-checker : new simcall MC_RANDOM

[simgrid.git] / src / simix / smx_user.c

diff --git a/src/simix/smx_user.c b/src/simix/smx_user.c
index 6d8a67c..ae4749f 100644 (file)
--- a/src/simix/smx_user.c
+++ b/src/simix/smx_user.c
@@ -1161,6 +1161,12 @@ int simcall_mc_compare_snapshots(void *s1, void *s2){
   return simcall_BODY_mc_compare_snapshots(s1, s2);
 }
 
+int simcall_mc_random(int min, int max)
+{
+  return simcall_BODY_mc_random(min, max);
+}
+
+
 #endif /* HAVE_MC */
 
 /* ****************************************************************************************** */