From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Wed, 7 Dec 2011 12:06:23 +0000 (+0100)
Subject: model-checker : more requests of CS per process in the example
X-Git-Tag: exp_20120216~133^2~16
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/493fd2632595e8f8f3747cab99b160ee7be1cb0d?ds=sidebyside

model-checker : more requests of CS per process in the example
---

diff --git a/examples/msg/mc/example_liveness_with_cycle.c b/examples/msg/mc/example_liveness_with_cycle.c
index bbe3ff2038..0927be0f5a 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 2
+#define CS_PER_PROCESS 10
 
 XBT_LOG_NEW_DEFAULT_CATEGORY(example_liveness_with_cycle, "my log messages");