examples/msg/mc/random_test.c

   1 #include <msg/msg.h>
   2 #include <mc/modelchecker.h>
   3
   4 XBT_LOG_NEW_DEFAULT_CATEGORY(random_test,"Random Test");
   5
   6 int server(int argc,char *argv[]);
   7
   8 int server(int argc,char *argv[])
   9 {
  10   int val;
  11   val = MC_random(3,6);
  12   INFO1("val=%d", val);
  13   INFO0("OK");
  14   return 0;
  15 }
  16
  17 int main(int argc,char*argv[])
  18 {
  19   MSG_global_init(&argc,argv);
  20
  21   MSG_create_environment("platform.xml");
  22
  23   MSG_function_register("server", server);
  24
  25 //  MSG_function_register("client", client);
  26
  27   MSG_launch_application("deploy_random_test.xml");
  28
  29   MSG_main();
  30
  31   return 0;
  32 }