merge: pull request #1 from Kingfish404/main

CSharperMantle · web-flow · commit 0e9f589c14d7 · 2025-02-16T23:25:08.000+08:00
fix: better synth_stat.txt format check
diff --git a/src/parse.ts b/src/parse.ts
@@ -24,7 +24,7 @@ export class YosysJsonStatsParseError extends Error {
   }
 }
 
-const STAT_FILE_HEADER = "16. Printing statistics."
+const STAT_FILE_HEADER = "Printing statistics."
 const TOP_METANAME = "@Top@"
 
 export function parseTextStats(input: string): ParsedModule[] {
@@ -38,7 +38,7 @@ export function parseTextStats(input: string): ParsedModule[] {
   if (rawModules.length === 0) {
     return []
   }
-  if (rawModules[0].length !== 1 || rawModules[0][0] !== STAT_FILE_HEADER) {
+  if (rawModules[0].length !== 1 || !rawModules[0][0].trim().endsWith(STAT_FILE_HEADER)) {
     throw new TextStatsParseError("Bad header")
   }
   const parsedRawModules: (ParsedModule | string)[] = rawModules.slice(1).map((rawModule) => {

Original file line number	Diff line number	Diff line change
`@@ -24,7 +24,7 @@ export class YosysJsonStatsParseError extends Error {`
`24`	`24`	`}`
`25`	`25`	`}`
`26`	`26`
`27`		`-const STAT_FILE_HEADER = "16. Printing statistics."`
	`27`	`+const STAT_FILE_HEADER = "Printing statistics."`
`28`	`28`	`const TOP_METANAME = "@Top@"`
`29`	`29`
`30`	`30`	`export function parseTextStats(input: string): ParsedModule[] {`
`@@ -38,7 +38,7 @@ export function parseTextStats(input: string): ParsedModule[] {`
`38`	`38`	`if (rawModules.length === 0) {`
`39`	`39`	`return []`
`40`	`40`	`}`
`41`		`- if (rawModules[0].length !== 1 \|\| rawModules[0][0] !== STAT_FILE_HEADER) {`
	`41`	`+ if (rawModules[0].length !== 1 \|\| !rawModules[0][0].trim().endsWith(STAT_FILE_HEADER)) {`
`42`	`42`	`throw new TextStatsParseError("Bad header")`
`43`	`43`	`}`
`44`	`44`	`const parsedRawModules: (ParsedModule \| string)[] = rawModules.slice(1).map((rawModule) => {`