[mc] Initial support MC record/replay

[simgrid.git] / src / simix / simcalls.in

diff --git a/src/simix/simcalls.in b/src/simix/simcalls.in
index d3f47c7..a2d8711 100644 (file)
--- a/src/simix/simcalls.in
+++ b/src/simix/simcalls.in
@@ -132,6 +132,7 @@ Func H storage_get_used_size (sg_size_t) (name, void*, smx_storage_t)
 Func - storage_get_properties (void*, xbt_dict_t) (storage, void*, smx_storage_t)
 Func - storage_get_content (void*, xbt_dict_t) (storage, void*, smx_storage_t)
 Func H asr_get_properties (void*, xbt_dict_t) (name, const char*)
+Func H mc_random (int) (min, int) (max, int)
 ## HAVE_LATENCY_BOUND_TRACKING
 Func - comm_is_latency_bounded (int) (comm, void*, smx_synchro_t)
 ## HAVE_TRACING
@@ -139,4 +140,3 @@ Proc - set_category (void) (synchro, void*, smx_synchro_t) (category, const char
 ## HAVE_MC
 Func H mc_snapshot (void*, mc_snapshot_t)
 Func H mc_compare_snapshots (int) (s1, void*, mc_snapshot_t) (s2, void*, mc_snapshot_t)
-Func H mc_random (int) (min, int) (max, int)