model-checker : update tesh

[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