From: Eddie Hung <eddie@fpgeh.com>
Date: Mon, 23 Dec 2019 16:35:53 +0000 (-0800)
Subject: write_xaiger to opt instead of just clean whiteboxes
X-Git-Tag: working-ls180~881^2^2~60
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6eadd4390a3c9650912bac9fbf8bd309f0088217;p=yosys.git

write_xaiger to opt instead of just clean whiteboxes
---

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index af52daa0c..78496b13c 100644
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -876,7 +876,7 @@ struct XAigerWriter
 				RTLIL::Design *holes_design = new RTLIL::Design;
 				module->design->modules_.erase(holes_module->name);
 				holes_design->add(holes_module);
-				Pass::call(holes_design, "clean -purge");
+				Pass::call(holes_design, "opt -purge");
 
 				std::stringstream a_buffer;
 				XAigerWriter writer(holes_module, true /* holes_mode */);