#include "y.tab.c"
#define AMOUNT_OF_CLIENTS 2
-#define CS_PER_PROCESS 2
+#define CS_PER_PROCESS 10
XBT_LOG_NEW_DEFAULT_CATEGORY(example_liveness_with_cycle, "my log messages");
MSG_function_register("coordinator", coordinator);
MSG_function_register("client", client);
MSG_launch_application("deploy_mutex2.xml");
- MSG_main_liveness_stateless(automaton, argv[0]);
-
+ MSG_main_liveness(automaton, argv[0]);
+
return 0;
}