luke/yosys
1
0
Fork 0
mirror of https://github.com/YosysHQ/yosys.git synced 2026-08-22 06:07:26 +02:00
Code Issues Packages Projects Releases Wiki Activity

xaiger: fix twines

Browse Source
This commit is contained in:
Emil J. Tywoniak
2026-06-24 11:53:37 +02:00
parent d8e09f4e0c
commit a3e982a5e2
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
backends/aiger/xaiger.cc
+2 -1
View File
@@ -648,7 +648,8 @@ struct XAigerWriter
holes_design = it->second; holes_design = it->second;
else else
holes_design = nullptr; holes_design = nullptr;
RTLIL::Module *holes_module = holes_design ? holes_design->module(module->meta_->name) : nullptr; RTLIL::Module *holes_module = holes_design ?
holes_design->module(holes_design->twines.add(std::string{module->name.str()})) : nullptr;
if (holes_module) { if (holes_module) {
std::stringstream a_buffer; std::stringstream a_buffer;
XAigerWriter writer(holes_module, false /* dff_mode */); XAigerWriter writer(holes_module, false /* dff_mode */);