Merge branch 'feature/patrick/dunable-scf-master' into 'master'
[tests] fixes some problems for the dune branch See merge request frama-c/frama-c!3591
Showing
- ptests/ptests.ml 3 additions, 1 deletionptests/ptests.ml
- tests/builtins/big_local_array_script.ml 1 addition, 9 deletionstests/builtins/big_local_array_script.ml
- tests/builtins/from_result.c 1 addition, 1 deletiontests/builtins/from_result.c
- tests/compliance/check-json.i 1 addition, 1 deletiontests/compliance/check-json.i
- tests/compliance/oracle/json_check-json_5.txt 2 additions, 2 deletionstests/compliance/oracle/json_check-json_5.txt
- tests/compliance/sanity-checks.py 2 additions, 2 deletionstests/compliance/sanity-checks.py
- tests/constant_propagation/test_config 1 addition, 1 deletiontests/constant_propagation/test_config
- tests/fc_script/build-callgraph.i 1 addition, 1 deletiontests/fc_script/build-callgraph.i
- tests/fc_script/main.c 1 addition, 1 deletiontests/fc_script/main.c
- tests/libc/coverage.c 1 addition, 1 deletiontests/libc/coverage.c
- tests/libc/fc_libc.c 3 additions, 3 deletionstests/libc/fc_libc.c
- tests/libc/runtime.c 1 addition, 1 deletiontests/libc/runtime.c
- tests/libc/string_c_generic.c 1 addition, 1 deletiontests/libc/string_c_generic.c
- tests/libc/string_c_strchr.c 1 addition, 1 deletiontests/libc/string_c_strchr.c
- tests/libc/string_c_strstr.c 1 addition, 1 deletiontests/libc/string_c_strstr.c
- tests/libc/test_config 1 addition, 1 deletiontests/libc/test_config
- tests/metrics/func_ptr.c 1 addition, 0 deletionstests/metrics/func_ptr.c
- tests/metrics/libc.c 2 additions, 1 deletiontests/metrics/libc.c
- tests/metrics/oracle/func_ptr.0.res.oracle 3 additions, 3 deletionstests/metrics/oracle/func_ptr.0.res.oracle
- tests/metrics/oracle/func_ptr.1.res.oracle 1 addition, 1 deletiontests/metrics/oracle/func_ptr.1.res.oracle
Loading
Please register or sign in to comment