diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-02-04 12:46:16 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-02-04 12:46:16 +0100 |
| commit | d267bcde4eeb9ba6d6adac5e2efcb523fcd9ea20 (patch) | |
| tree | 3b1f65f0482a6efb22933953926d9ca3ffeeabf8 /frontends | |
| parent | ecdf1f5577dec6a02c944e68d1e923140e51f5bc (diff) | |
| download | yosys-d267bcde4eeb9ba6d6adac5e2efcb523fcd9ea20.tar.gz yosys-d267bcde4eeb9ba6d6adac5e2efcb523fcd9ea20.tar.bz2 yosys-d267bcde4eeb9ba6d6adac5e2efcb523fcd9ea20.zip | |
Fixed bug in sequential sat proofs and improved handling of asserts
Diffstat (limited to 'frontends')
| -rw-r--r-- | frontends/ast/simplify.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/frontends/ast/simplify.cc b/frontends/ast/simplify.cc index f19befe2a..3d9951194 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)) { } |