Merge branch 'feature/patrick/dunable-ptests' into 'master'
[Tests] Adds some more %{dep:file}
See merge request frama-c/frama-c!3485
No related branches found
No related tags found
Showing
- ptests/ptests.ml 5 additions, 2 deletionsptests/ptests.ml
- src/plugins/aorai/tests/ltl/test_recursion2.c 1 addition, 1 deletionsrc/plugins/aorai/tests/ltl/test_recursion2.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/instantiate/tests/stdlib/oracle/calloc.res.oracle 1 addition, 1 deletion...plugins/instantiate/tests/stdlib/oracle/calloc.res.oracle
- src/plugins/instantiate/tests/stdlib/oracle/free.res.oracle 1 addition, 1 deletionsrc/plugins/instantiate/tests/stdlib/oracle/free.res.oracle
- src/plugins/instantiate/tests/stdlib/oracle/malloc.res.oracle 1 addition, 1 deletion...plugins/instantiate/tests/stdlib/oracle/malloc.res.oracle
- src/plugins/instantiate/tests/stdlib/oracle/no_fc_stdlib.res.oracle 1 addition, 1 deletion...s/instantiate/tests/stdlib/oracle/no_fc_stdlib.res.oracle
- src/plugins/instantiate/tests/stdlib/test_config 1 addition, 1 deletionsrc/plugins/instantiate/tests/stdlib/test_config
- src/plugins/instantiate/tests/string/oracle/memcmp.res.oracle 1 addition, 1 deletion...plugins/instantiate/tests/string/oracle/memcmp.res.oracle
- src/plugins/instantiate/tests/string/oracle/memcpy.res.oracle 1 addition, 1 deletion...plugins/instantiate/tests/string/oracle/memcpy.res.oracle
- src/plugins/instantiate/tests/string/oracle/memmove.res.oracle 1 addition, 1 deletion...lugins/instantiate/tests/string/oracle/memmove.res.oracle
- src/plugins/instantiate/tests/string/oracle/memset_0.res.oracle 1 addition, 1 deletion...ugins/instantiate/tests/string/oracle/memset_0.res.oracle
- src/plugins/instantiate/tests/string/oracle/memset_FF.res.oracle 1 addition, 1 deletion...gins/instantiate/tests/string/oracle/memset_FF.res.oracle
- src/plugins/instantiate/tests/string/oracle/memset_nested_typedef.res.oracle 1 addition, 1 deletion...iate/tests/string/oracle/memset_nested_typedef.res.oracle
- src/plugins/instantiate/tests/string/oracle/memset_nested_union.res.oracle 1 addition, 1 deletion...ntiate/tests/string/oracle/memset_nested_union.res.oracle
- src/plugins/instantiate/tests/string/oracle/memset_value.res.oracle 1 addition, 1 deletion...s/instantiate/tests/string/oracle/memset_value.res.oracle
- src/plugins/instantiate/tests/string/test_config 1 addition, 1 deletionsrc/plugins/instantiate/tests/string/test_config
- src/plugins/markdown-report/tests/md/test_config 1 addition, 1 deletionsrc/plugins/markdown-report/tests/md/test_config
- src/plugins/wp/tests/wp_acsl/chunk_typing_usable.i 1 addition, 1 deletionsrc/plugins/wp/tests/wp_acsl/chunk_typing_usable.i
Loading
Please register or sign in to comment