Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid into...
[simgrid.git] / examples / msg / mc / bugged2_liveness.h
1 #ifndef _BUGGED2_LIVENESS_H
2 #define _BUGGED2_LIVENESS_H
3
4 int predCS(void);
5
6 int coordinator(int argc, char *argv[]);
7 int client(int argc, char *argv[]);
8
9 #endif