2 #include <mc/modelchecker.h>
4 XBT_LOG_NEW_DEFAULT_CATEGORY(random_test, "Random Test");
6 int server(int argc, char *argv[]);
8 int server(int argc, char *argv[])
11 val = MC_random(3, 6);
17 int main(int argc, char *argv[])
19 MSG_global_init(&argc, argv);
21 MSG_create_environment("platform.xml");
23 MSG_function_register("server", server);
25 // MSG_function_register("client", client);
27 MSG_launch_application("deploy_random_test.xml");