diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-21 17:16:38 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-21 17:17:29 -0700 |
| commit | 7074ec9cd5d5b5c01e3bbaa8ee45dbae1272f185 (patch) | |
| tree | bab1ec23f8f802bd73c9c08a3eed5a3220147896 /backends | |
| parent | 65c1199acd52f90de86106652dbbca86d4ac5ebc (diff) | |
| download | yosys-7074ec9cd5d5b5c01e3bbaa8ee45dbae1272f185.tar.gz yosys-7074ec9cd5d5b5c01e3bbaa8ee45dbae1272f185.tar.bz2 yosys-7074ec9cd5d5b5c01e3bbaa8ee45dbae1272f185.zip | |
Add log_push()/log_pop() inside write_xaiger
Diffstat (limited to 'backends')
| -rw-r--r-- | backends/aiger/xaiger.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index 637c54ff9..2070cae8f 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -664,6 +664,8 @@ struct XAigerWriter f.write(buffer_str.data(), buffer_str.size()); if (holes_module) { + log_push(); + // NB: fixup_ports() will sort ports by name //holes_module->fixup_ports(); holes_module->check(); @@ -700,6 +702,8 @@ struct XAigerWriter f.write(reinterpret_cast<const char*>(&buffer_size_be), sizeof(buffer_size_be)); f.write(buffer_str.data(), buffer_str.size()); holes_module->design->remove(holes_module); + + log_pop(); } } |