From: Eddie Hung <eddie@fpgeh.com>
Date: Mon, 7 Oct 2019 18:56:17 +0000 (-0700)
Subject: Add comment on default flop init
X-Git-Tag: working-ls180~881^2^2~176
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e1554b56dd9c82b609c6565067160268cbc403f3;p=yosys.git

Add comment on default flop init
---

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 33d4cfe8e..ce67cac54 100644
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -842,6 +842,7 @@ struct XAigerWriter
 						continue;
 					}
 				}
+				// Default flop init is zero
 				write_s_buffer(0);
 			}
 			f << "s";