From 6dc70f7da8631fd09dea07b36d582c3812beca86 Mon Sep 17 00:00:00 2001 From: Alexander Fedotov Date: Thu, 21 Apr 2016 18:18:58 +0200 Subject: [PATCH] up --- modelchecker/coord.c | 4 ---- 1 file changed, 4 deletions(-) diff --git a/modelchecker/coord.c b/modelchecker/coord.c index 9f179c6..6325091 100644 --- a/modelchecker/coord.c +++ b/modelchecker/coord.c @@ -271,9 +271,7 @@ state_t *explstate(state *init, rels *rls, state *g){ if (check_goal(new, g->bdd, init->vars.varset) == 0){ lurd_t *lrd = (lurd_t *)malloc(sizeof(lurd_t)); state_t *new_state = (state_t *)malloc(sizeof(state_t)); - printf("here1\n"); memcpy(lrd, tmp_state->lrd, sizeof(lurd_t)); - printf("here2\n"); new_state->bdd = new; new_state->vars = init->vars; lrd = lappend(lrd, 'l'); @@ -337,11 +335,9 @@ state_t *explstate(state *init, rels *rls, state *g){ if (new != sylvan_false && new != tmp_state->bdd){ if (check_visited(new, visited, init->vars.varset) == 0){ if (check_goal(new, g->bdd, init->vars.varset) == 0){ - printf("Here1\n"); lurd_t *lrd = (lurd_t *)malloc(sizeof(lurd_t)); state_t *new_state = (state_t *)malloc(sizeof(state_t)); memcpy(lrd, tmp_state->lrd, sizeof(lurd_t)); - printf("Here2\n"); new_state->bdd = new; new_state->vars = init->vars; -- 2.20.1