Merge branch 'feature/andre/distribute-more-tests' into 'master'
[several plugins] distribute tests See merge request frama-c/frama-c!3682
No related branches found
No related tags found
Showing
- src/plugins/instantiate/Makefile.in 8 additions, 0 deletionssrc/plugins/instantiate/Makefile.in
- src/plugins/instantiate/tests/options/test_config 1 addition, 1 deletionsrc/plugins/instantiate/tests/options/test_config
- src/plugins/instantiate/tests/plugin/ast_clear.c 1 addition, 1 deletionsrc/plugins/instantiate/tests/plugin/ast_clear.c
- src/plugins/instantiate/tests/plugin/function_pointers.i 1 addition, 1 deletionsrc/plugins/instantiate/tests/plugin/function_pointers.i
- src/plugins/instantiate/tests/stdlib/calloc.c 1 addition, 1 deletionsrc/plugins/instantiate/tests/stdlib/calloc.c
- src/plugins/instantiate/tests/stdlib/free.c 1 addition, 1 deletionsrc/plugins/instantiate/tests/stdlib/free.c
- src/plugins/instantiate/tests/stdlib/malloc.c 1 addition, 1 deletionsrc/plugins/instantiate/tests/stdlib/malloc.c
- src/plugins/markdown-report/Makefile.in 8 additions, 0 deletionssrc/plugins/markdown-report/Makefile.in
- src/plugins/markdown-report/md_gen.ml 3 additions, 1 deletionsrc/plugins/markdown-report/md_gen.ml
- src/plugins/markdown-report/sarif_gen.ml 3 additions, 1 deletionsrc/plugins/markdown-report/sarif_gen.ml
- src/plugins/markdown-report/tests/md/cwe126.remarks.md 1 addition, 1 deletionsrc/plugins/markdown-report/tests/md/cwe126.remarks.md
- src/plugins/markdown-report/tests/md/oracle/cwe126.0.md 1 addition, 1 deletionsrc/plugins/markdown-report/tests/md/oracle/cwe126.0.md
- src/plugins/markdown-report/tests/sarif/oracle/cwe125.sarif 1 addition, 1 deletionsrc/plugins/markdown-report/tests/sarif/oracle/cwe125.sarif
- src/plugins/markdown-report/tests/sarif/oracle/std_string.sarif 1 addition, 1 deletion...ugins/markdown-report/tests/sarif/oracle/std_string.sarif
- src/plugins/markdown-report/tests/sarif/oracle/with-libc.sarif 1 addition, 1 deletion...lugins/markdown-report/tests/sarif/oracle/with-libc.sarif
- src/plugins/markdown-report/tests/sarif/oracle/without-libc.sarif 1 addition, 1 deletion...ins/markdown-report/tests/sarif/oracle/without-libc.sarif
- src/plugins/nonterm/Makefile.in 8 additions, 0 deletionssrc/plugins/nonterm/Makefile.in
- src/plugins/variadic/Makefile.in 8 additions, 0 deletionssrc/plugins/variadic/Makefile.in
- src/plugins/variadic/tests/declared/function-ptr-with-ghost.i 1 addition, 1 deletion...plugins/variadic/tests/declared/function-ptr-with-ghost.i
Loading
Please register or sign in to comment