Add comment on default flop init

2019-10-07 11:56:17 -07:00 · 2019-10-07 11:56:17 -07:00 · e1554b56dd
parent d9fba95177
commit e1554b56dd
1 changed files with 1 additions and 0 deletions
--- 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";