Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
leak --(cherry picked from commit dd1330c53beec9c5abb8b23375062e6acf214632)
[simgrid.git] / examples / msg / mc / bugged1_liveness.h
1 #ifndef _BUGGED1_LIVENESS_H
2 #define _BUGGED1_LIVENESS_H
3
4 int predR(void);
5 int predCS(void);
6
7 int coordinator(int argc, char *argv[]);
8 int client(int argc, char *argv[]);
9
10 #endif