Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

[simgrid.git] / examples / msg / mc / bugged1_liveness.h

#ifndef _BUGGED1_LIVENESS_H
#define _BUGGED1_LIVENESS_H

int predR(void);
int predCS(void);

int coordinator(int argc, char *argv[]);
int client(int argc, char *argv[]);

#endif