From: Eddie Hung <eddie@fpgeh.com>
Date: Sat, 22 Jun 2019 00:16:38 +0000 (-0700)
Subject: Add log_push()/log_pop() inside write_xaiger
X-Git-Tag: working-ls180~1237^2~63
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7074ec9cd5d5b5c01e3bbaa8ee45dbae1272f185;p=yosys.git

Add log_push()/log_pop() inside write_xaiger
---

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();
 			}
 		}