Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
fix Java_org_simgrid_msg_File_open one more time
[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 }