examples/msg/mc/test/promela

   1 never {
   2 T0_init :    /* init */
   3         if
   4         :: (1) -> goto accept_S2
   5         fi;
   6 accept_S2 :    /* 1 */
   7         if
   8   :: (1) -> goto accept_S2
   9   fi;
  10 }