convert MSG MC test to cpp

[simgrid.git] / examples / cpp / mc-bugged2-liveness / promela_bugged2_liveness

diff --git a/examples/cpp/mc-bugged2-liveness/promela_bugged2_liveness b/examples/cpp/mc-bugged2-liveness/promela_bugged2_liveness
new file mode 100644 (file)
index 0000000..5361f88
--- /dev/null
+++ b/examples/cpp/mc-bugged2-liveness/promela_bugged2_liveness
@@ -0,0 +1,12 @@
+never { /* !(!(GFcs)) */
+T0_init :    /* init */
+       if
+       :: (cs) -> goto accept_S1
+       :: (1) -> goto T0_init
+       fi;
+accept_S1 :    /* 1 */
+       if
+       :: (cs) -> goto accept_S1
+       :: (1) -> goto T0_init
+       fi;
+}