write_smt2: ignore $input_port

2026-10-06 10:03:36 +02:00 · 2026-09-18 17:37:03 +02:00
parent 9d93aa275a
commit 66b2fdc8e4
1 changed files with 3 additions and 0 deletions
@@ -938,6 +938,9 @@ struct Smt2Worker
 			log_error("Unsupported cell type %s for cell %s.%s -- please run `clk2fflogic` before `write_smt2`.\n",
 					cell->type, module, cell);
 		}
+
+		if (cell->type == ID($input_port)) return;
+
 		log_error("Unsupported cell type %s for cell %s.%s.\n",
 				cell->type, module, cell);
 	}