X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/fa94c1ceafe3f3cc43a97b1beb87926ca2648d32..30ddf1eb571e00c6b6e9723d6dc69ce4632471cc:/examples/msg/mc/promela2_bugged2_liveness

diff --git a/examples/msg/mc/promela2_bugged2_liveness b/examples/msg/mc/promela2_bugged2_liveness
deleted file mode 100644
index 1b4359d9f6..0000000000
--- a/examples/msg/mc/promela2_bugged2_liveness
+++ /dev/null
@@ -1,17 +0,0 @@
-never { /* !(G((pready U produce) -> F(cready U consume))) */
-T1_init :    /* init */
-	if
-	:: (1) -> goto T1_init
-	:: (pready && !consume) -> goto T0_S2
-	:: (produce && !consume) -> goto accept_S3
-	fi;
-T0_S2 :    /* 1 */
-	if
-	:: (pready && !consume) -> goto T0_S2
-	:: (produce && !consume) -> goto accept_S3
-	fi;
-accept_S3 :    /* 2 */
-	if
-	:: (!consume) -> goto accept_S3
-	fi;
-}