Add EWD998ChanTrace.tla spec to CI.

Signed-off-by: Markus Alexander Kuppe <[email protected]>

Author: lemmy

.ciignore

@@ -4,4 +4,3 @@
 # Note that directory names are case-sensitive
 # Example:
 specifications/doesnotexist
-

.github/workflows/ewd998.yml

@@ -25,7 +25,7 @@ jobs:
         i="0"
         while [ $i -lt 50 ]; do
           java -cp impl/bin/:impl/lib/gson-2.8.6.jar EWD998App 1 > trace.ndjson
-          java -jar ../../tla2tools.jar -noTE EWD998ChanTrace || exit 1
+          JSON=trace.ndjson java -jar ../../tla2tools.jar -noTE EWD998ChanTrace || exit 1
           sleep 3;
           i=$[$i+1]
         done

manifest.json

@@ -3143,6 +3143,23 @@
           "tlaLanguageVersion": 2,
           "features": [],
           "models": []
+        },
+        {
+          "path": "specifications/ewd998/EWD998ChanTrace.tla",
+          "communityDependencies": ["VectorClocks", "IOUtils"],
+          "tlaLanguageVersion": 2,
+          "features": [],
+          "models": [
+            {
+              "path": "specifications/ewd998/EWD998ChanTrace.cfg",
+              "runtime": "00:00:01",
+              "size": "small",
+              "mode": "exhaustive search",
+              "config": [],
+              "features": ["alias", "view"],
+              "result": "success"
+            }
+          ]
         }
       ]
     },