From 50d4f311b5986c55419de78115b6a4c7532c93ac Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Wed, 9 Nov 2011 11:56:39 +0100 Subject: [PATCH] model-checker : add number of requests executed for each pair in s_mc_pair_stateless structure --- src/mc/private.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/mc/private.h b/src/mc/private.h index 07379d2cc0..17400d2d63 100644 --- a/src/mc/private.h +++ b/src/mc/private.h @@ -242,11 +242,12 @@ void MC_ddfs_stateful(xbt_automaton_t a, int search_cycle, int restore); typedef struct s_mc_pair_stateless{ mc_state_t graph_state; xbt_state_t automaton_state; + int requests; }s_mc_pair_stateless_t, *mc_pair_stateless_t; extern xbt_fifo_t mc_stack_liveness_stateless; -mc_pair_stateless_t new_pair_stateless(mc_state_t sg, xbt_state_t st); +mc_pair_stateless_t new_pair_stateless(mc_state_t sg, xbt_state_t st, int r); void MC_ddfs_stateless_init(xbt_automaton_t a); void MC_ddfs_stateless(xbt_automaton_t a, int search_cycle, int replay); void MC_show_stack_liveness_stateless(xbt_fifo_t stack); -- 2.20.1