model-checker : cleanups in tesh examples

[simgrid.git] / examples / msg / mc / chord_liveness / promela_chord_neverdeliver

diff --git a/examples/msg/mc/chord_liveness/promela_chord_neverdeliver b/examples/msg/mc/chord_liveness/promela_chord_neverdeliver
deleted file mode 100644 (file)
index d102137..0000000
--- a/examples/msg/mc/chord_liveness/promela_chord_neverdeliver
+++ /dev/null
@@ -1,12 +0,0 @@
-never { /* !(!(GFdeliver)) */
-T0_init :    /* init */
-       if
-       :: (deliver) -> goto accept_S1
-       :: (1) -> goto T0_init
-       fi;
-accept_S1 :    /* 1 */
-       if
-       :: (deliver) -> goto accept_S1
-       :: (1) -> goto T0_init
-       fi;
-}
\ No newline at end of file