From: Eddie Hung <eddieh@ece.ubc.ca>
Date: Thu, 14 Feb 2019 01:19:30 +0000 (-0800)
Subject: Leave FIXME for clean
X-Git-Tag: working-ls180~1237^2~336
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c7ef3863f3181c0298d166562858dec4a7faa759;p=yosys.git

Leave FIXME for clean
---

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index 931d2fd36..92700bca7 100644
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -317,10 +317,8 @@ void AigerReader::parse_xaiger()
                 wire->port_output = other_wire->port_output;
                 other_wire->port_input = false;
                 other_wire->port_output = false;
-                if (wire->port_input) {
-                    log_debug("assign %s = %s [%d];\n", other_wire->name.c_str(), wire->name.c_str(), i);
+                if (wire->port_input)
                     module->connect(other_wire, SigSpec(wire, i));
-                }
                 else
                     module->connect(SigSpec(wire, i), other_wire);
             }
@@ -329,6 +327,8 @@ void AigerReader::parse_xaiger()
 
     module->fixup_ports();
     design->add(module);
+    // FIXME: 'clean'-ing causes assertion fail in abc9.cc, and checks to fail...
+    //Pass::call(design, "clean");
 }
 
 void AigerReader::parse_aiger_ascii()