Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
start new example with parsing lex/yacc of automaton in promela
[simgrid.git] / examples / msg / mc / result_parse
1 never { /* []<>e->[](d-><>r) */
2
3 T0_init:
4         if
5         :: (!d) || (r) -> goto accept_S1
6         :: (1) -> goto T1_S4
7         :: (1) -> goto T0_S2
8         :: (!e) -> goto accept_S3
9         fi;
10 T1_S4:
11         if
12         :: (1) -> goto T1_S4
13         :: (r) -> goto accept_S1
14         fi;
15 accept_S1:
16         if
17         :: (!d) || (r) -> goto accept_S1
18         :: (1) -> goto T1_S4
19         fi;
20 T0_S2:
21         if
22         :: (1) -> goto T0_S2
23         :: (!e) -> goto accept_S3
24         fi;
25 accept_S3:
26         if
27         :: (!e) -> goto accept_S3
28         fi;
29 }