From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Wed, 30 Nov 2011 08:44:03 +0000 (+0100)
Subject: model-checker : number of CS request per process reduced in the example with acceptan... 
X-Git-Tag: exp_20120216~133^2~29
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/74914a9cc31cd5bb33f587235d70979cd7934fc8

model-checker : number of CS request per process reduced in the example with acceptance cycle
---

diff --git a/examples/msg/mc/example_liveness_with_cycle.c b/examples/msg/mc/example_liveness_with_cycle.c
index 80765b7203..bbe3ff2038 100644
--- a/examples/msg/mc/example_liveness_with_cycle.c
+++ b/examples/msg/mc/example_liveness_with_cycle.c
@@ -11,7 +11,7 @@
 #include "y.tab.c"
 
 #define AMOUNT_OF_CLIENTS 2
-#define CS_PER_PROCESS 4
+#define CS_PER_PROCESS 2
 
 XBT_LOG_NEW_DEFAULT_CATEGORY(example_liveness_with_cycle, "my log messages");