From 81406867cba8beaf6a233436d7f2859b1907f768 Mon Sep 17 00:00:00 2001
From: Andrew Helwer <2n8rn1w1f@mozmail.com>
Date: Mon, 7 Aug 2023 15:10:52 -0400
Subject: [PATCH] Reclassified some models as small

Signed-off-by: Andrew Helwer <2n8rn1w1f@mozmail.com>
---
 manifest.json | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

diff --git a/manifest.json b/manifest.json
index d5528b4b..991a2a95 100644
--- a/manifest.json
+++ b/manifest.json
@@ -2886,15 +2886,15 @@
           "models": [
             {
               "path": "specifications/ewd426/TokenRing.cfg",
-              "runtime": "unknown",
-              "size": "unknown",
+              "runtime": "00:00:05",
+              "size": "small",
               "mode": "exhaustive search",
               "config": [],
               "features": [
                 "alias",
                 "liveness"
               ],
-              "result": "unknown"
+              "result": "success"
             }
           ]
         }
@@ -3202,8 +3202,8 @@
           "models": [
             {
               "path": "specifications/ewd998/EWD998ChanID.cfg",
-              "runtime": "unknown",
-              "size": "large",
+              "runtime": "00:00:05",
+              "size": "small",
               "mode": "exhaustive search",
               "config": [
                 "ignore deadlock"
@@ -3213,7 +3213,7 @@
                 "state constraint",
                 "view"
               ],
-              "result": "unknown"
+              "result": "success"
             }
           ]
         },
@@ -3315,8 +3315,8 @@
           "models": [
             {
               "path": "specifications/ewd998/SmokeEWD998.cfg",
-              "runtime": "unknown",
-              "size": "large",
+              "runtime": "00:00:05",
+              "size": "small",
               "mode": {
                 "simulate": {
                   "traceCount": 100
@@ -3327,7 +3327,7 @@
                 "liveness",
                 "state constraint"
               ],
-              "result": "unknown"
+              "result": "success"
             }
           ]
         },
@@ -3656,4 +3656,4 @@
       ]
     }
   ]
-}
\ No newline at end of file
+}