src/xbt/mmalloc/test/mmalloc_test.c
src/xbt/datadesc/ddt_parse.yy.l
src/xbt/datadesc/ddt_parse.yy.h
+ src/xbt/automaton/y.tab.c
+ src/xbt/automaton/y.tab.h
+ src/xbt/automaton/automaton_parse.yy.c
src/surf/maxmin_private.h
src/surf/trace_mgr_private.h
src/surf/surf_private.h
src/smpi/README
src/mk_supernovae.pl
-
tools/gras/gras_stub_generator.h
tools/tesh/run_context.h
tools/tesh/tesh.h
src/xbt/parmap.c
src/xbt/xbt_replay.c
src/xbt/lib.c
- src/xbt/automaton/automaton.c
src/xbt/automaton/automatonparse_promela.c
src/xbt/automaton/automaton.c
src/xbt/automaton/automaton_create.c
set(generated_src_files
src/xbt/datadesc/ddt_parse.yy.c
+src/xbt/automaton/y.tab.c
+src/xbt/automaton/y.tab.h
+src/xbt/automaton/automaton_parse.yy.c
)
foreach(file ${generated_src_files})
add_executable(bugged1 bugged1.c)
add_executable(bugged1_stateful bugged1_stateful.c)
add_executable(bugged2_stateful bugged2_stateful.c)
-add_executable(bugged2 bugged2.c)
+add_executable(bugged2 bugged2.c)
add_executable(bugged3 bugged3.c)
add_executable(random_test random_test.c)
-add_executable(bugged1_for_liveness automaton.c automatonparse_promela.c bugged1_for_liveness.c)
-add_executable(bugged1_while_liveness automaton.c automatonparse_promela.c bugged1_while_liveness.c)
-add_executable(bugged2_liveness automaton.c automatonparse_promela.c bugged2_liveness.c)
-add_executable(centralized_liveness automaton.c automatonparse_promela.c centralized_liveness.c)
-add_executable(centralized_liveness_deadlock automaton.c automatonparse_promela.c centralized_liveness_deadlock.c)
-add_executable(test_snapshot automaton.c automatonparse_promela.c test_snapshot.c)
+add_executable(bugged1_for_liveness bugged1_for_liveness.c)
+add_executable(bugged1_while_liveness bugged1_while_liveness.c)
+add_executable(bugged2_liveness bugged2_liveness.c)
+add_executable(centralized_liveness centralized_liveness.c)
+add_executable(centralized_liveness_deadlock centralized_liveness_deadlock.c)
+add_executable(test_snapshot test_snapshot.c)
target_link_libraries(centralized simgrid m )
target_link_libraries(bugged1 simgrid m )
)
set(examples_src
${examples_src}
- ${CMAKE_CURRENT_SOURCE_DIR}/automaton.c
- ${CMAKE_CURRENT_SOURCE_DIR}/automatonparse_promela.c
${CMAKE_CURRENT_SOURCE_DIR}/bugged1.c
${CMAKE_CURRENT_SOURCE_DIR}/bugged1_for_liveness.c
${CMAKE_CURRENT_SOURCE_DIR}/bugged1_stateful.c
${CMAKE_CURRENT_SOURCE_DIR}/centralized_liveness.c
${CMAKE_CURRENT_SOURCE_DIR}/centralized_liveness_deadlock.c
${CMAKE_CURRENT_SOURCE_DIR}/centralized_mutex.c
- ${CMAKE_CURRENT_SOURCE_DIR}/lex.yy.c
${CMAKE_CURRENT_SOURCE_DIR}/random_test.c
${CMAKE_CURRENT_SOURCE_DIR}/test_snapshot.c
- ${CMAKE_CURRENT_SOURCE_DIR}/y.tab.c
${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness.h
${CMAKE_CURRENT_SOURCE_DIR}/bugged2_liveness.h
${CMAKE_CURRENT_SOURCE_DIR}/centralized_liveness.h
${CMAKE_CURRENT_SOURCE_DIR}/test_snapshot.h
- ${CMAKE_CURRENT_SOURCE_DIR}/y.tab.h
PARENT_SCOPE
)
set(bin_files
#line 1 "parserPromela.yacc"
- //#include "../../../include/xbt/automatonparse_promela.h"
- //#include "../../../include/xbt/automaton.h"
#include "automaton_parse.yy.c"
#include <xbt/automaton.h>
#include <xbt/automatonparse_promela.h>
/* Line 268 of yacc.c */
-#line 84 "y.tab.c"
+#line 82 "y.tab.c"
/* Enabling traces. */
#ifndef YYDEBUG
{
/* Line 293 of yacc.c */
-#line 13 "parserPromela.yacc"
+#line 11 "parserPromela.yacc"
double real;
int integer;
/* Line 293 of yacc.c */
-#line 173 "y.tab.c"
+#line 171 "y.tab.c"
} YYSTYPE;
# define YYSTYPE_IS_TRIVIAL 1
# define yystype YYSTYPE /* obsolescent; will be withdrawn */
/* Line 343 of yacc.c */
-#line 185 "y.tab.c"
+#line 183 "y.tab.c"
#ifdef short
# undef short
/* YYRLINE[YYN] -- source line where rule number YYN was defined. */
static const yytype_uint8 yyrline[] =
{
- 0, 50, 50, 53, 54, 54, 57, 58, 61, 62,
- 63, 64, 65, 66
+ 0, 48, 48, 51, 52, 52, 55, 56, 59, 60,
+ 61, 62, 63, 64
};
#endif
case 4:
/* Line 1806 of yacc.c */
-#line 54 "parserPromela.yacc"
+#line 52 "parserPromela.yacc"
{ new_state((yyvsp[(1) - (2)].string), 1);}
break;
case 7:
/* Line 1806 of yacc.c */
-#line 58 "parserPromela.yacc"
+#line 56 "parserPromela.yacc"
{ new_transition((yyvsp[(5) - (6)].string), (yyvsp[(2) - (6)].label));}
break;
case 8:
/* Line 1806 of yacc.c */
-#line 61 "parserPromela.yacc"
+#line 59 "parserPromela.yacc"
{ (yyval.label) = (yyvsp[(2) - (3)].label); }
break;
case 9:
/* Line 1806 of yacc.c */
-#line 62 "parserPromela.yacc"
+#line 60 "parserPromela.yacc"
{ (yyval.label) = new_label(0, (yyvsp[(1) - (3)].label), (yyvsp[(3) - (3)].label)); }
break;
case 10:
/* Line 1806 of yacc.c */
-#line 63 "parserPromela.yacc"
+#line 61 "parserPromela.yacc"
{ (yyval.label) = new_label(1, (yyvsp[(1) - (3)].label), (yyvsp[(3) - (3)].label)); }
break;
case 11:
/* Line 1806 of yacc.c */
-#line 64 "parserPromela.yacc"
+#line 62 "parserPromela.yacc"
{ (yyval.label) = new_label(2, (yyvsp[(2) - (2)].label)); }
break;
case 12:
/* Line 1806 of yacc.c */
-#line 65 "parserPromela.yacc"
+#line 63 "parserPromela.yacc"
{ (yyval.label) = new_label(4); }
break;
case 13:
/* Line 1806 of yacc.c */
-#line 66 "parserPromela.yacc"
+#line 64 "parserPromela.yacc"
{ (yyval.label) = new_label(3, (yyvsp[(1) - (1)].string)); }
break;
/* Line 1806 of yacc.c */
-#line 1478 "y.tab.c"
+#line 1476 "y.tab.c"
default: break;
}
/* User semantic actions sometimes alter yychar, and that requires
/* Line 2067 of yacc.c */
-#line 69 "parserPromela.yacc"
+#line 67 "parserPromela.yacc"