From: Eddie Hung <eddie@fpgeh.com>
Date: Tue, 14 Jan 2020 21:05:39 +0000 (-0800)
Subject: write_xaiger: skip if no arrival times
X-Git-Tag: working-ls180~822^2~17
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=aaafd784a54603af44fe7424c8d39be2443368e5;p=yosys.git

write_xaiger: skip if no arrival times
---

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index d3415e45d..b424eca2c 100644
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -257,6 +257,9 @@ struct XAigerWriter
 									arrivals.push_back(atoi(tok.c_str()));
 						}
 
+						if (arrivals.empty())
+							continue;
+
 						if (GetSize(arrivals) > 1 && GetSize(arrivals) != GetSize(port_wire))
 							log_error("%s.%s is %d bits wide but abc9_arrival = %s has %d value(s)!\n", log_id(cell->type), log_id(conn.first),
 									GetSize(port_wire), log_signal(it->second), GetSize(arrivals));