Update deli.cfg to match current deli.tla constants and properties

EricSpencer00 · EricSpencer00 · commit d94d3f4adf63 · 2026-03-09T11:25:27.000-05:00
diff --git a/specifications/deli/deli.cfg b/specifications/deli/deli.cfg
@@ -1,11 +1,11 @@
 SPECIFICATION Spec
 
 CONSTANT
-    Processes = {p1, p2, p3}
+    Workers = {w1, w2}
+    Customers = {c1, c2, c3}
     Null = null
 
 INVARIANT TypeOK
-INVARIANT ValidStates
-INVARIANT MutualExclusion
+INVARIANT Consistency
 
-PROPERTY EventuallyIdle
+PROPERTY EventuallyServed
