src/xbt/automaton/automaton_create.c

   1 #include "xbt/automatonparse_promela.h"
   2 #include "y.tab.c"
   3 #include "automaton_create.h"
   4
   5 xbt_automaton_t xbt_create_automaton(const char *file){
   6
   7   init();
   8   yyin = fopen(file, "r");
   9   yyparse();
  10   return automaton;
  11
  12 }