From fcd3350abd72d6f0490ee3f54498e6d9ee6239ce Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Fri, 24 Jun 2011 15:44:19 +0200 Subject: [PATCH] model-checker : 128bits->160bits for hash of visited pair --- src/mc/mc_liveness.c | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c index 150ed78ea3..003597b14d 100644 --- a/src/mc/mc_liveness.c +++ b/src/mc/mc_liveness.c @@ -31,7 +31,7 @@ void set_pair_visited(mc_state_t gs, xbt_state_t as, int sc){ p->graph_state = gs; p->automaton_state = as; p->search_cycle = sc; - char *hash = malloc(sizeof(char)*128); + char *hash = malloc(sizeof(char)*160); xbt_sha((char *)&p, hash); xbt_dynar_push(visited_pairs, &hash); MC_UNSET_RAW_MEM; @@ -65,7 +65,7 @@ int reached(mc_state_t gs, xbt_state_t as ){ return 0;*/ //XBT_DEBUG("Search acceptance pair already reach !"); - char* hash_reached = malloc(sizeof(char)*128); + char* hash_reached = malloc(sizeof(char)*160); unsigned int c= 0; MC_SET_RAW_MEM; @@ -73,7 +73,7 @@ int reached(mc_state_t gs, xbt_state_t as ){ p = xbt_new0(s_mc_reached_pairs_t, 1); p->graph_state = gs; p->automaton_state = as; - char *hash = malloc(sizeof(char)*128); + char *hash = malloc(sizeof(char)*160); xbt_sha((char *)&p, hash); //XBT_DEBUG("Hash : %s", hash); xbt_dynar_foreach(reached_pairs, c, hash_reached){ @@ -97,7 +97,7 @@ void set_pair_reached(mc_state_t gs, xbt_state_t as){ p = xbt_new0(s_mc_reached_pairs_t, 1); p->graph_state = gs; p->automaton_state = as; - char *hash = malloc(sizeof(char)*128) ; + char *hash = malloc(sizeof(char)*160) ; xbt_sha((char *)&p, hash); xbt_dynar_push(reached_pairs, &hash); //XBT_DEBUG("New reached pair : graph=%p, automaton=%p(%s)", gs, as, as->id); @@ -136,7 +136,7 @@ int visited(mc_state_t gs, xbt_state_t as, int sc){ //XBT_DEBUG("Test visited pair"); - char* hash_visited = malloc(sizeof(char)*128); + char* hash_visited = malloc(sizeof(char)*160); unsigned int c= 0; MC_SET_RAW_MEM; @@ -144,7 +144,7 @@ int visited(mc_state_t gs, xbt_state_t as, int sc){ p = xbt_new0(s_mc_visited_pairs_t, 1); p->graph_state = gs; p->automaton_state = as; - char *hash = malloc(sizeof(char)*128); + char *hash = malloc(sizeof(char)*160); xbt_sha((char *)&p, hash); //XBT_DEBUG("Hash : %s", hash); xbt_dynar_foreach(visited_pairs, c, hash_visited){ -- 2.20.1