[Aorai] using LIBS directive of ptests
Showing
- src/plugins/aorai/tests/ltl/goto.c 1 addition, 1 deletionsrc/plugins/aorai/tests/ltl/goto.c
- src/plugins/aorai/tests/ltl/test_boucle.c 1 addition, 1 deletionsrc/plugins/aorai/tests/ltl/test_boucle.c
- src/plugins/aorai/tests/ltl/test_boucle1.c 1 addition, 1 deletionsrc/plugins/aorai/tests/ltl/test_boucle1.c
- src/plugins/aorai/tests/ltl/test_boucle2.c 1 addition, 1 deletionsrc/plugins/aorai/tests/ltl/test_boucle2.c
- src/plugins/aorai/tests/ltl/test_boucle3.c 1 addition, 1 deletionsrc/plugins/aorai/tests/ltl/test_boucle3.c
- src/plugins/aorai/tests/ltl/test_factorial.c 1 addition, 1 deletionsrc/plugins/aorai/tests/ltl/test_factorial.c
- src/plugins/aorai/tests/ltl/test_recursion1.c 1 addition, 1 deletionsrc/plugins/aorai/tests/ltl/test_recursion1.c
- src/plugins/aorai/tests/ltl/test_recursion2.c 2 additions, 2 deletionssrc/plugins/aorai/tests/ltl/test_recursion2.c
- src/plugins/aorai/tests/ltl/test_switch2.c 1 addition, 1 deletionsrc/plugins/aorai/tests/ltl/test_switch2.c
- src/plugins/aorai/tests/ltl/test_switch3.c 1 addition, 1 deletionsrc/plugins/aorai/tests/ltl/test_switch3.c
- src/plugins/aorai/tests/ltl/test_switch3_et_recursion.c 1 addition, 1 deletionsrc/plugins/aorai/tests/ltl/test_switch3_et_recursion.c
- src/plugins/aorai/tests/ltl/test_switch3_if.c 1 addition, 1 deletionsrc/plugins/aorai/tests/ltl/test_switch3_if.c
- src/plugins/aorai/tests/ltl/test_switch3_return.c 1 addition, 1 deletionsrc/plugins/aorai/tests/ltl/test_switch3_return.c
- src/plugins/aorai/tests/test_config 3 additions, 0 deletionssrc/plugins/aorai/tests/test_config
- src/plugins/aorai/tests/test_config_prove.in 3 additions, 0 deletionssrc/plugins/aorai/tests/test_config_prove.in
- src/plugins/aorai/tests/ya/aorai_ptr_field.i 1 addition, 1 deletionsrc/plugins/aorai/tests/ya/aorai_ptr_field.i
- src/plugins/aorai/tests/ya/assigns.c 3 additions, 3 deletionssrc/plugins/aorai/tests/ya/assigns.c
- src/plugins/aorai/tests/ya/bts1289.i 2 additions, 2 deletionssrc/plugins/aorai/tests/ya/bts1289.i
- src/plugins/aorai/tests/ya/declared_function.i 1 addition, 1 deletionsrc/plugins/aorai/tests/ya/declared_function.i
- src/plugins/aorai/tests/ya/deterministic.i 1 addition, 1 deletionsrc/plugins/aorai/tests/ya/deterministic.i
Loading
Please register or sign in to comment