Merge branch 'feature/patrick/dunable-ptests' into 'master'
Review of direct usages of -load-module and -load-script options in the test base See merge request frama-c/frama-c!3432
Showing
- ptests/ptests.ml 72 additions, 40 deletionsptests/ptests.ml
- src/plugins/dive/tests/test_config 2 additions, 1 deletionsrc/plugins/dive/tests/test_config
- src/plugins/variadic/tests/erroneous/test_config 2 additions, 1 deletionsrc/plugins/variadic/tests/erroneous/test_config
- src/plugins/wp/tests/wp_plugin/flash.c 4 additions, 4 deletionssrc/plugins/wp/tests/wp_plugin/flash.c
- tests/builtins/big_local_array.i 2 additions, 2 deletionstests/builtins/big_local_array.i
- tests/builtins/from_result.c 1 addition, 1 deletiontests/builtins/from_result.c
- tests/builtins/linked_list.c 3 additions, 3 deletionstests/builtins/linked_list.c
- tests/builtins/memcpy.c 3 additions, 3 deletionstests/builtins/memcpy.c
- tests/builtins/memcpy_invalid.c 1 addition, 1 deletiontests/builtins/memcpy_invalid.c
- tests/builtins/write-const.c 1 addition, 1 deletiontests/builtins/write-const.c
- tests/cil/duplicate-labels.c 1 addition, 1 deletiontests/cil/duplicate-labels.c
- tests/constant_propagation/bts-1787-bis.i 1 addition, 1 deletiontests/constant_propagation/bts-1787-bis.i
- tests/constant_propagation/const_globals.c 1 addition, 1 deletiontests/constant_propagation/const_globals.c
- tests/constant_propagation/const_propagate.c 1 addition, 1 deletiontests/constant_propagation/const_propagate.c
- tests/constant_propagation/declaration2.c 1 addition, 1 deletiontests/constant_propagation/declaration2.c
- tests/constant_propagation/introduction_of_non_explicit_cast.c 1 addition, 1 deletion.../constant_propagation/introduction_of_non_explicit_cast.c
- tests/float/cond.c 1 addition, 1 deletiontests/float/cond.c
- tests/float/const.i 1 addition, 1 deletiontests/float/const.i
- tests/float/init_float.i 1 addition, 1 deletiontests/float/init_float.i
- tests/float/nonlin.c 6 additions, 6 deletionstests/float/nonlin.c
Loading
Please register or sign in to comment