Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : increase tesh timeouts
[simgrid.git] / examples / msg / mc / chord / chord_liveness.h
1 #ifndef _CHORD_LIVENESS_H
2 #define _CHORD_LIVENESS_H
3
4 int predJoin(void);
5
6 #endif