From 74914a9cc31cd5bb33f587235d70979cd7934fc8 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Wed, 30 Nov 2011 09:44:03 +0100 Subject: [PATCH] model-checker : number of CS request per process reduced in the example with acceptance cycle --- 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 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"); -- 2.20.1