From d267bcde4eeb9ba6d6adac5e2efcb523fcd9ea20 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Tue, 4 Feb 2014 12:46:16 +0100 Subject: Fixed bug in sequential sat proofs and improved handling of asserts --- frontends/ast/simplify.cc | 2 ++ 1 file changed, 2 insertions(+) (limited to 'frontends/ast') diff --git a/frontends/ast/simplify.cc b/frontends/ast/simplify.cc index f19befe2..3d995119 100644 --- a/frontends/ast/simplify.cc +++ b/frontends/ast/simplify.cc @@ -993,6 +993,8 @@ skip_dynamic_range_lvalue_expansion:; AstNode *wire_en = new AstNode(AST_WIRE); wire_en->str = id_en; current_ast_mod->children.push_back(wire_en); + current_ast_mod->children.push_back(new AstNode(AST_INITIAL, new AstNode(AST_BLOCK, new AstNode(AST_ASSIGN_LE, new AstNode(AST_IDENTIFIER), AstNode::mkconst_int(0, false, 1))))); + current_ast_mod->children.back()->children[0]->children[0]->children[0]->str = id_en; current_scope[wire_en->str] = wire_en; while (wire_en->simplify(true, false, false, 1, -1, false)) { } -- cgit v1.2.3