Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Remove XBT_INFO call
[simgrid.git] / examples / msg / mc / promela_bugged2_liveness
1 never { /* !(!(GFcs)) */
2 T0_init :    /* init */
3         if
4         :: (cs) -> goto accept_S1
5         :: (1) -> goto T0_init
6         fi;
7 accept_S1 :    /* 1 */
8         if
9         :: (cs) -> goto accept_S1
10         :: (1) -> goto T0_init
11         fi;
12 }