Add int MC_random(int min, int max) function that will make the model-checker to...

[simgrid.git] / src / include / mc / datatypes.h

diff --git a/src/include/mc/datatypes.h b/src/include/mc/datatypes.h
index 7009022..430a445 100644 (file)
--- a/src/include/mc/datatypes.h
+++ b/src/include/mc/datatypes.h
@@ -20,7 +20,8 @@ typedef enum {
   mc_irecv,
   mc_test,
   mc_wait,
-  mc_waitany
+  mc_waitany,
+  mc_random
 } mc_trans_type_t;
 
 typedef struct s_mc_transition *mc_transition_t;