From 493fd2632595e8f8f3747cab99b160ee7be1cb0d Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Wed, 7 Dec 2011 13:06:23 +0100 Subject: [PATCH] model-checker : more requests of CS per process in the example --- examples/msg/mc/example_liveness_with_cycle.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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"); -- 2.20.1