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

EricSpencer00 · EricSpencer00 · commit bba1b17aee84 · 2026-03-09T12:10:03.000-05:00
Signed-off-by: EricSpencer00 &lt;espencer2@luc.edu&gt;
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
