examples/msg/mc/test_snapshot.h

   1 #ifndef _TEST_SNAPSHOT_H
   2 #define _TEST_SNAPSHOT_H
   3
   4 int yyparse(void);
   5 int yywrap(void);
   6 int yylex(void);
   7
   8 int predCS(void);
   9 int predR(void);
  10
  11 int coordinator(int argc, char *argv[]);
  12 int client(int argc, char *argv[]);
  13
  14 void check(void);
  15
  16 #endif