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 }