Fix expected runtime (format is HH:MM:SS)

Calvin-L · Calvin-L · commit 563b1a015420 · 2024-06-20T14:17:59.000-07:00
diff --git a/manifest.json b/manifest.json
@@ -3431,7 +3431,7 @@
           "models": [
             {
               "path": "specifications/braf/BufferedRandomAccessFile.cfg",
-              "runtime": "00:09:00",
+              "runtime": "00:00:09",
               "size": "small",
               "mode": "exhaustive search",
               "features": [

Original file line number	Diff line number	Diff line change
`@@ -3431,7 +3431,7 @@`
`3431`	`3431`	`"models": [`
`3432`	`3432`	`{`
`3433`	`3433`	`"path": "specifications/braf/BufferedRandomAccessFile.cfg",`
`3434`		`- "runtime": "00:09:00",`
	`3434`	`+ "runtime": "00:00:09",`
`3435`	`3435`	`"size": "small",`
`3436`	`3436`	`"mode": "exhaustive search",`
`3437`	`3437`	`"features": [`