examples/msg/mc/bugged1_liveness.h

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