mv examples/s4u examples/cpp

[simgrid.git] / examples / s4u / mc-bugged1-liveness / promela_bugged1_liveness

diff --git a/examples/s4u/mc-bugged1-liveness/promela_bugged1_liveness b/examples/s4u/mc-bugged1-liveness/promela_bugged1_liveness
deleted file mode 100644 (file)
index 96b491d..0000000
--- a/examples/s4u/mc-bugged1-liveness/promela_bugged1_liveness
+++ /dev/null
@@ -1,11 +0,0 @@
-never { /* !G(r->Fcs) */
-T0_init :    /* init */
-       if
-       :: (1) -> goto T0_init
-       :: (!cs && r) -> goto accept_S2
-       fi;
-accept_S2 :    /* 1 */
-       if
-       :: (!cs) -> goto accept_S2
-       fi;
-}