A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
6ca2dfcd6fcae23e74e90b01a7317e2f3c24bfce
[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