(Hopefully) fix build failures.

tlaplus · Aug 3, 2023 · 7d129a9 · 7d129a9
1 parent e4b3677
commit 7d129a9
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/manifest.json b/manifest.json
@@ -3159,8 +3159,8 @@
             },
             {
               "path": "specifications/ewd998/EWD998Small.cfg",
-              "runtime": "00:00:30",
-              "size": "small",
+              "runtime": "00:05:00",
+              "size": "medium",
               "mode": "exhaustive search",
               "config": [
                 "ignore deadlock"
@@ -3205,8 +3205,10 @@
               "runtime": "unknown",
               "size": "large",
               "mode": "exhaustive search",
-              "config": [],
-              "features": [
+              "config": [
+                "ignore deadlock"
+              ],
+             "features": [
                 "liveness",
                 "state constraint",
                 "view"