read_aiger: Fix incorrect read of binary Aiger without outputs

YosysHQ · Apr 26, 2024 · 3dbc520 · 3dbc520
1 parent 34d9a74
commit 3dbc520
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc
@@ -722,7 +722,8 @@ void AigerReader::parse_aiger_binary()
 		module->connect(wire, createWireIfNotExists(module, l1));
 		outputs.push_back(wire);
 	}
-	std::getline(f, line); // Ignore up to start of next line
+	if (O > 0)
+		std::getline(f, line); // Ignore up to start of next line
 
 	// Parse bad properties
 	for (unsigned i = 0; i < B; ++i, ++line_count) {