Merge branch 'feature/andre/minimize-libc-outputs-in-tests' into 'master'
[tests] remove excessively large libc oracles to avoid conflicts See merge request frama-c/frama-c!4749
Showing
- nix/frama-c.nix 4 additions, 0 deletionsnix/frama-c.nix
- src/plugins/markdown-report/sarif.ml 1 addition, 1 deletionsrc/plugins/markdown-report/sarif.ml
- src/plugins/markdown-report/tests/sarif/cwe125.c 1 addition, 1 deletionsrc/plugins/markdown-report/tests/sarif/cwe125.c
- src/plugins/markdown-report/tests/sarif/libc.c 7 additions, 4 deletionssrc/plugins/markdown-report/tests/sarif/libc.c
- 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/libc.0.res.oracle 1 addition, 1 deletion...gins/markdown-report/tests/sarif/oracle/libc.0.res.oracle
- src/plugins/markdown-report/tests/sarif/oracle/std_print.res.oracle 2 additions, 2 deletions...s/markdown-report/tests/sarif/oracle/std_print.res.oracle
- src/plugins/markdown-report/tests/sarif/oracle/std_print.sarif 46 additions, 0 deletions...lugins/markdown-report/tests/sarif/oracle/std_print.sarif
- src/plugins/markdown-report/tests/sarif/oracle/std_string.sarif 0 additions, 31277 deletions...ugins/markdown-report/tests/sarif/oracle/std_string.sarif
- src/plugins/markdown-report/tests/sarif/oracle/with-libc.sarif 0 additions, 10882 deletions...lugins/markdown-report/tests/sarif/oracle/with-libc.sarif
- src/plugins/markdown-report/tests/sarif/oracle/with-libc.sarif.checked 1 addition, 0 deletions...arkdown-report/tests/sarif/oracle/with-libc.sarif.checked
- src/plugins/markdown-report/tests/sarif/oracle/without-libc.sarif 3 additions, 3 deletions...ins/markdown-report/tests/sarif/oracle/without-libc.sarif
- src/plugins/markdown-report/tests/sarif/std_print.c 3 additions, 2 deletionssrc/plugins/markdown-report/tests/sarif/std_print.c
- tests/libc/fc_libc.c 1 addition, 1 deletiontests/libc/fc_libc.c
- tests/libc/oracle/fc_libc.1.res.oracle 0 additions, 12422 deletionstests/libc/oracle/fc_libc.1.res.oracle
Loading
Please register or sign in to comment