Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : more requests of CS per process in the example
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 7 Dec 2011 12:06:23 +0000 (13:06 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 7 Dec 2011 12:06:23 +0000 (13:06 +0100)
examples/msg/mc/example_liveness_with_cycle.c

index bbe3ff2..0927be0 100644 (file)
@@ -11,7 +11,7 @@
 #include "y.tab.c"
 
 #define AMOUNT_OF_CLIENTS 2
 #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");
 
 
 XBT_LOG_NEW_DEFAULT_CATEGORY(example_liveness_with_cycle, "my log messages");