Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Allow out of source builds
[simgrid.git] / 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 }