Merge branch 'feature/dune/tests-wp-qualif' into 'feature/dune/feedback'
[WP] tests - Adds explicit deps to WP cache env_var See merge request frama-c/frama-c!3833
No related branches found
No related tags found
Showing
- ptests/ptests.ml 6 additions, 2 deletionsptests/ptests.ml
- src/plugins/wp/tests/test_config_qualif 2 additions, 1 deletionsrc/plugins/wp/tests/test_config_qualif
- src/plugins/wp/tests/wp_gallery/binary-multiplication.c 1 addition, 1 deletionsrc/plugins/wp/tests/wp_gallery/binary-multiplication.c
- src/plugins/wp/tests/wp_plugin/abs.i 2 additions, 2 deletionssrc/plugins/wp/tests/wp_plugin/abs.i
- src/plugins/wp/tests/wp_plugin/bitmask0x8000.i 1 addition, 1 deletionsrc/plugins/wp/tests/wp_plugin/bitmask0x8000.i
- src/plugins/wp/tests/wp_plugin/config.sh 18 additions, 1 deletionsrc/plugins/wp/tests/wp_plugin/config.sh
- src/plugins/wp/tests/wp_plugin/no_step_limit.i 1 addition, 1 deletionsrc/plugins/wp/tests/wp_plugin/no_step_limit.i
- src/plugins/wp/tests/wp_plugin/oracle_qualif/config.res.oracle 3 additions, 1 deletion...lugins/wp/tests/wp_plugin/oracle_qualif/config.res.oracle
- src/plugins/wp/tests/wp_plugin/unroll.i 1 addition, 1 deletionsrc/plugins/wp/tests/wp_plugin/unroll.i
- src/plugins/wp/tests/wp_plugin/unsigned.i 1 addition, 1 deletionsrc/plugins/wp/tests/wp_plugin/unsigned.i
- src/plugins/wp/tests/wp_tip/clear.i 1 addition, 1 deletionsrc/plugins/wp/tests/wp_tip/clear.i
- src/plugins/wp/tests/wp_tip/induction.i 3 additions, 3 deletionssrc/plugins/wp/tests/wp_tip/induction.i
- src/plugins/wp/tests/wp_tip/induction_typing.i 1 addition, 1 deletionsrc/plugins/wp/tests/wp_tip/induction_typing.i
- src/plugins/wp/tests/wp_tip/modmask.i 2 additions, 2 deletionssrc/plugins/wp/tests/wp_tip/modmask.i
- src/plugins/wp/tests/wp_tip/overflow.i 1 addition, 1 deletionsrc/plugins/wp/tests/wp_tip/overflow.i
- src/plugins/wp/tests/wp_tip/split.i 1 addition, 1 deletionsrc/plugins/wp/tests/wp_tip/split.i
- src/plugins/wp/tests/wp_tip/tac_split_quantifiers.i 1 addition, 1 deletionsrc/plugins/wp/tests/wp_tip/tac_split_quantifiers.i
- src/plugins/wp/tests/wp_tip/unroll.i 1 addition, 1 deletionsrc/plugins/wp/tests/wp_tip/unroll.i
- src/plugins/wp/tests/wp_typed/unit_bitwise.c 2 additions, 2 deletionssrc/plugins/wp/tests/wp_typed/unit_bitwise.c
Loading
Please register or sign in to comment