From: Eddie Hung <eddie@fpgeh.com>
Date: Thu, 9 Jan 2020 16:55:36 +0000 (-0800)
Subject: read_aiger: do not double-count outputs for flops
X-Git-Tag: working-ls180~822^2~27^2~2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=943ea4bf9ea34960bfce517450a8a466d1c54ed3;p=yosys.git

read_aiger: do not double-count outputs for flops
---

diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
index bded2bfee..ae16a9e9b 100644
--- a/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@ -756,12 +756,6 @@ void AigerReader::post_process()
 	}
 
 	for (uint32_t i = 0; i < flopNum; i++) {
-		log_assert(co_count < outputs.size());
-		Wire *wire = outputs[co_count++];
-		log_assert(wire);
-		log_assert(wire->port_output);
-		wire->port_output = false;
-
 		RTLIL::Wire *d = outputs[outputs.size() - flopNum + i];
 		log_assert(d);
 		log_assert(d->port_output);