From d7f25165a53b97b10aafce4c70732f1adc3c5156 Mon Sep 17 00:00:00 2001
From: Claire Xenia Wolf <claire@clairexen.net>
Date: Sat, 3 Jun 2023 14:38:22 +0200
Subject: [PATCH] Add ninitff line to aiger .aim files

Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
---
 backends/aiger/aiger.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/backends/aiger/aiger.cc b/backends/aiger/aiger.cc
index 97acf937c..689864153 100644
--- a/backends/aiger/aiger.cc
+++ b/backends/aiger/aiger.cc
@@ -706,6 +706,9 @@ struct AigerWriter
 		for (auto &it : latch_lines)
 			f << it.second;
 
+		if (initstate_ff)
+			f << stringf("ninitff %d\n", ((initstate_ff >> 1)-1-aig_i));
+
 		wire_lines.sort();
 		for (auto &it : wire_lines)
 			f << it.second;