write_xaiger: skip if no arrival times

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index d3415e45d1d454dddf9476cc7b8988a2faaa00a0..b424eca2c852e52c53e101ee46aecf41b29e2b2c 100644 (file)
--- 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));