From 4c7fea7e55b64258214b4e71cf8af18423e881be Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Tue, 19 May 2015 13:48:14 +0100 Subject: [PATCH] fix 'make test' for newer gcc versions Signed-off-by: Nuno Lopes --- src/test/pdr.cpp | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/src/test/pdr.cpp b/src/test/pdr.cpp index 82448e6f5..a9194ec60 100644 --- a/src/test/pdr.cpp +++ b/src/test/pdr.cpp @@ -47,10 +47,15 @@ struct test_model_search { void add_tree(model_node* parent, bool force_goal) { unsigned level = parent->level(); search.add_leaf(*parent); + expr_ref state(m); if (level > 0 && (force_goal || parent->is_goal())) { search.remove_goal(*parent); - add_tree(alloc(model_node, parent, mk_state(states, rand), pt, level-1), false); - add_tree(alloc(model_node, parent, mk_state(states, rand), pt, level-1), false); + + state = mk_state(states, rand); + add_tree(alloc(model_node, parent, state, pt, level-1), false); + + state = mk_state(states, rand); + add_tree(alloc(model_node, parent, state, pt, level-1), false); parent->check_pre_closed(); } } @@ -91,7 +96,8 @@ struct test_model_search { state = states[0].get(); unsigned level = 4; for(unsigned n = 0; n < 100; ++n) { - model_node* root = alloc(model_node, 0, mk_state(states, rand), pt, level); + state = mk_state(states, rand); + model_node* root = alloc(model_node, 0, state, pt, level); search.set_root(root); add_tree(root, false); search.display(std::cout);