From d6a65df81f2d1263be4186890863302355cb59f9 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Sat, 8 Jun 2013 19:15:17 +0200 Subject: [PATCH] model-checker : increase number of colors for dot output --- src/mc/mc_global.c | 2 +- src/mc/mc_private.h | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c index 3381e9d605..7469068073 100644 --- a/src/mc/mc_global.c +++ b/src/mc/mc_global.c @@ -120,7 +120,7 @@ extern xbt_dynar_t mc_heap_comparison_ignore; extern xbt_dynar_t stacks_areas; FILE *dot_output = NULL; -const char* colors[10]; +const char* colors[13]; xbt_automaton_t _mc_property_automaton = NULL; diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h index 05336afc67..a348722d46 100644 --- a/src/mc/mc_private.h +++ b/src/mc/mc_private.h @@ -68,7 +68,7 @@ int is_stack_ignore_variable(char *frame, char *var_name); extern double *mc_time; extern FILE *dot_output; -extern const char* colors[10]; +extern const char* colors[13]; int MC_deadlock_check(void); void MC_replay(xbt_fifo_t stack, int start); -- 2.20.1