Merge branch 'feature/andre/modernize-tests' into 'master'
[Eva] update Eva-related options in tests See merge request frama-c/frama-c!2053
Showing
- INSTALL.md 4 additions, 4 deletionsINSTALL.md
- README.md 1 addition, 1 deletionREADME.md
- src/plugins/value/test.assert.sh 1 addition, 1 deletionsrc/plugins/value/test.assert.sh
- src/plugins/value/test.sh 1 addition, 1 deletionsrc/plugins/value/test.sh
- src/plugins/value/utils/value_util.mli 1 addition, 1 deletionsrc/plugins/value/utils/value_util.mli
- tests/builtins/alloc.c 2 additions, 2 deletionstests/builtins/alloc.c
- tests/builtins/alloc_weak.c 1 addition, 1 deletiontests/builtins/alloc_weak.c
- tests/builtins/allocated.c 2 additions, 2 deletionstests/builtins/allocated.c
- tests/builtins/big_local_array.i 2 additions, 2 deletionstests/builtins/big_local_array.i
- tests/builtins/calloc.c 5 additions, 5 deletionstests/builtins/calloc.c
- tests/builtins/free.c 1 addition, 1 deletiontests/builtins/free.c
- tests/builtins/from_result.c 1 addition, 1 deletiontests/builtins/from_result.c
- tests/builtins/gcc_zero_length_array.c 1 addition, 1 deletiontests/builtins/gcc_zero_length_array.c
- tests/builtins/imprecise-malloc-free.c 1 addition, 1 deletiontests/builtins/imprecise-malloc-free.c
- tests/builtins/linked_list.c 3 additions, 3 deletionstests/builtins/linked_list.c
- tests/builtins/malloc-deps.i 1 addition, 1 deletiontests/builtins/malloc-deps.i
- tests/builtins/malloc-optimistic.c 1 addition, 1 deletiontests/builtins/malloc-optimistic.c
- tests/builtins/malloc-size-zero.c 2 additions, 2 deletionstests/builtins/malloc-size-zero.c
- tests/builtins/malloc.c 1 addition, 1 deletiontests/builtins/malloc.c
- tests/builtins/malloc_bug_tr.c 1 addition, 1 deletiontests/builtins/malloc_bug_tr.c
Loading
Please register or sign in to comment