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:16:38 -0700 |
| commit | 588196c473f79cf2e221e86f1177d363a1849dcc (patch) | |
| tree | 7bf551e931a98e673fe1f435a9d718494e62e894 | |
| parent | faa2d6fc1c4bc10cda96c2dc3721df209d2d2117 (diff) | |
| download | yosys-588196c473f79cf2e221e86f1177d363a1849dcc.tar.gz yosys-588196c473f79cf2e221e86f1177d363a1849dcc.tar.bz2 yosys-588196c473f79cf2e221e86f1177d363a1849dcc.zip | |
Add log_push()/log_pop() inside write_xaiger
| -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 110d727de..23132f108 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -665,6 +665,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(); @@ -701,6 +703,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(); } } |