mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-04 05:19:11 +00:00
Code Activity

Bugfix in smt2 back-end for pure checker modules

Browse source
This commit is contained in:
Clifford Wolf 2016-11-28 15:15:09 +01:00
parent ecdc22b06c
commit df2e5aad6f
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
backends/smt2/smt2.cc
View file

@ -749,6 +749,10 @@ struct Smt2Worker
if (verbose) log("=> export logic driving hierarchical cells\n"); if (verbose) log("=> export logic driving hierarchical cells\n");
for (auto cell : module->cells())
if (module->design->module(cell->type) != nullptr)
export_cell(cell);
while (!hiercells_queue.empty()) while (!hiercells_queue.empty())
{ {
std::set<RTLIL::Cell*> queue; std::set<RTLIL::Cell*> queue;