model-checker : fix platform file path in tesh examples

[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