X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/15c81e44412415173de220954a453019c68714cd..5d6e2b005da294874b8cf58e7766c9d8138b7aaf:/examples/msg/mc/promela_centralized_liveness

diff --git a/examples/msg/mc/promela_centralized_liveness b/examples/msg/mc/promela_centralized_liveness
index c5169d114f..5361f88099 100644
--- a/examples/msg/mc/promela_centralized_liveness
+++ b/examples/msg/mc/promela_centralized_liveness
@@ -1,11 +1,12 @@
-never { /* !(GFcs2) */
+never { /* !(!(GFcs)) */
 T0_init :    /* init */
 	if
+	:: (cs) -> goto accept_S1
 	:: (1) -> goto T0_init
-	:: (!cs2) -> goto accept_S2
 	fi;
-accept_S2 :    /* 1 */
+accept_S1 :    /* 1 */
 	if
-	:: (!cs2) -> goto accept_S2
+	:: (cs) -> goto accept_S1
+	:: (1) -> goto T0_init
 	fi;
-}
\ No newline at end of file
+}