leak --(cherry picked from commit dd1330c53beec9c5abb8b23375062e6acf214632)

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

#ifndef _BUGGED2_LIVENESS_H
#define _BUGGED2_LIVENESS_H

int predCS(void);

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

#endif