← Back to branch summary

~ubuntu-branches/ubuntu/raring/simgrid/raring

« back to all changes in this revision

Viewing changes to examples/msg/mc/chord/promela_chord_liveness

  • Committer: Package Import Robot
  • Author(s): Martin Quinson
  • Date: 2013-01-31 00:24:51 UTC
  • mfrom: (10.1.6 sid)
  • Revision ID: package-import@ubuntu.com-20130131002451-krejhf7w7h24lpsc
Tags: 3.9~rc1-1
* New upstream release: the "Grasgory" release. Major changes:
  - Gras was completely removed from this version.
  - Documentation reorganization to ease browsing it.
  - New default value for the TCP_gamma parameter: 4MiB

Show diffs side-by-side

added added

removed removed

Lines of Context:
examples/msg/mc/chord/promela_chord_liveness
 
1
never { /* !(!(GFjoin)) */
 
2
T0_init :    /* init */
 
3
        if
 
4
        :: (join) -> goto accept_S1
 
5
        :: (1) -> goto T0_init
 
6
        fi;
 
7
accept_S1 :    /* 1 */
 
8
        if
 
9
        :: (join) -> goto accept_S1
 
10
        :: (1) -> goto T0_init
 
11
        fi;
 
12
}
 
 
b'\\ No newline at end of file'