add few examples of the generateur language

Yoiro · Nov 8, 2024 · b493640 · b493640
1 parent 6cececd
commit b493640
Showing 1 changed file with 62 additions and 0 deletions.
diff --git a/generateur.json b/generateur.json
@@ -0,0 +1,62 @@
+{
+    "variables": ["requestReceived", "lockAcquired", "numbersGenerated", "confirmationReceived"],
+    "positives": [
+        {
+            "traces": [
+                ["requestReceived"],
+                ["requestReceived", "lockAcquired"],
+                ["lockAcquired", "numbersGenerated"],
+                ["numbersGenerated", "confirmationReceived"]
+            ],
+            "repeat": 0
+        },
+        {
+            "traces": [
+                ["requestReceived"],
+                ["requestReceived", "lockAcquired"],
+                ["lockAcquired", "numbersGenerated"],
+                ["lockAcquired", "numbersGenerated"],
+                ["lockAcquired", "numbersGenerated"],
+                ["numbersGenerated", "confirmationReceived"],
+                ["requestReceived"],
+                ["requestReceived", "lockAcquired"]
+            ],
+            "repeat": 4
+        },
+        {
+            "traces": [
+                ["requestReceived"],
+                ["requestReceived", "lockAcquired"],
+                ["lockAcquired", "numbersGenerated"]
+            ]
+        }
+    ],
+    "negatives": [
+        {
+            "traces": [
+                ["requestReceived"],
+                ["requestReceived", "lockAcquired"],
+                ["lockAcquired", "numbersGenerated"],
+                ["requestReceived"]
+            ],
+            "repeat": 3
+        },
+        {
+            "traces": [
+                ["requestReceived"],
+                ["requestReceived", "lockAcquired"],
+                ["lockAcquired", "numbersGenerated"]
+            ],
+            "repeat": 1
+        },
+        {
+            "traces": [
+                ["requestReceived"],
+                ["requestReceived", "lockAcquired"],
+                ["lockAcquired", "numbersGenerated"],
+                ["lockAcquired", "numbersGenerated", "requestReceived"]
+            ],
+            "repeat": 2
+        }
+    ]
+}