Merge branch 'feature/dune/tests-aorai-prove' into 'feature/dune/feedback'
[Aorai] tests - Adds explicit deps to WP cache env_var See merge request frama-c/frama-c!3834
No related branches found
No related tags found
Showing
- ptests/ptests.ml 2 additions, 5 deletionsptests/ptests.ml
- 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 2 additions, 1 deletionsrc/plugins/aorai/tests/test_config
- src/plugins/aorai/tests/test_config_prove 2 additions, 1 deletionsrc/plugins/aorai/tests/test_config_prove
- 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 2 additions, 2 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
Loading
Please register or sign in to comment