summaryrefslogtreecommitdiff
path: root/frontends
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-02-04 12:46:16 +0100
committerClifford Wolf <clifford@clifford.at>2014-02-04 12:46:16 +0100
commitd267bcde4eeb9ba6d6adac5e2efcb523fcd9ea20 (patch)
tree3b1f65f0482a6efb22933953926d9ca3ffeeabf8 /frontends
parentecdf1f5577dec6a02c944e68d1e923140e51f5bc (diff)
Fixed bug in sequential sat proofs and improved handling of asserts
Diffstat (limited to 'frontends')
-rw-r--r--frontends/ast/simplify.cc2
1 files changed, 2 insertions, 0 deletions
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)) { }