btor: Support $anyinit cells

uwsampl · Aug 16, 2022 · 96a1173 · 96a1173
1 parent 5893cae
commit 96a1173
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc
@@ -612,7 +612,7 @@ struct BtorWorker
 			goto okay;
 		}
 
-		if (cell->type.in(ID($dff), ID($ff), ID($_DFF_P_), ID($_DFF_N), ID($_FF_)))
+		if (cell->type.in(ID($dff), ID($ff), ID($anyinit), ID($_DFF_P_), ID($_DFF_N), ID($_FF_)))
 		{
 			SigSpec sig_d = sigmap(cell->getPort(ID::D));
 			SigSpec sig_q = sigmap(cell->getPort(ID::Q));