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

Signed-off-by: Calvin Loncaric <[email protected]>
tlaplus · Jun 20, 2024 · 4fb4032 · 4fb4032
1 parent f3410da
commit 4fb4032
Showing 1 changed file with 1 addition and 1 deletion.
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": [