update test oracles
Showing
- src/plugins/e-acsl/tests/bts/oracle_ci/bts2252.res.oracle 7 additions, 7 deletionssrc/plugins/e-acsl/tests/bts/oracle_ci/bts2252.res.oracle
- src/plugins/e-acsl/tests/bts/oracle_ci/gen_bts2252.c 6 additions, 6 deletionssrc/plugins/e-acsl/tests/bts/oracle_ci/gen_bts2252.c
- src/plugins/e-acsl/tests/format/oracle_ci/gen_printf.c 6 additions, 6 deletionssrc/plugins/e-acsl/tests/format/oracle_ci/gen_printf.c
- src/plugins/e-acsl/tests/format/oracle_ci/printf.res.oracle 16 additions, 16 deletionssrc/plugins/e-acsl/tests/format/oracle_ci/printf.res.oracle
- src/plugins/e-acsl/tests/memory/oracle_ci/mainargs.res.oracle 5 additions, 5 deletions...plugins/e-acsl/tests/memory/oracle_ci/mainargs.res.oracle
- src/plugins/e-acsl/tests/temporal/oracle_ci/gen_t_memcpy.c 5 additions, 5 deletionssrc/plugins/e-acsl/tests/temporal/oracle_ci/gen_t_memcpy.c
- src/plugins/e-acsl/tests/temporal/oracle_ci/t_memcpy.res.oracle 10 additions, 10 deletions...ugins/e-acsl/tests/temporal/oracle_ci/t_memcpy.res.oracle
- src/plugins/markdown-report/tests/md/oracle/cwe126.res.oracle 1 addition, 1 deletion...plugins/markdown-report/tests/md/oracle/cwe126.res.oracle
- src/plugins/markdown-report/tests/sarif/oracle/std_string.sarif 546 additions, 546 deletions...ugins/markdown-report/tests/sarif/oracle/std_string.sarif
- src/plugins/markdown-report/tests/sarif/oracle/with-libc.sarif 632 additions, 632 deletions...lugins/markdown-report/tests/sarif/oracle/with-libc.sarif
- src/plugins/nonterm/tests/nonterm/oracle/builtin_with_body.res.oracle 1 addition, 1 deletion...nonterm/tests/nonterm/oracle/builtin_with_body.res.oracle
- src/plugins/nonterm/tests/nonterm/oracle/n6.res.oracle 1 addition, 1 deletionsrc/plugins/nonterm/tests/nonterm/oracle/n6.res.oracle
- src/plugins/variadic/tests/known/oracle/snprintf.res.oracle 1 addition, 1 deletionsrc/plugins/variadic/tests/known/oracle/snprintf.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle/string_c.res.oracle 9 additions, 9 deletionssrc/plugins/wp/tests/wp_plugin/oracle/string_c.res.oracle
- tests/builtins/oracle/alloc_weak.res.oracle 1 addition, 1 deletiontests/builtins/oracle/alloc_weak.res.oracle
- tests/builtins/oracle/fam.res.oracle 1 addition, 1 deletiontests/builtins/oracle/fam.res.oracle
- tests/builtins/oracle/imprecise.res.oracle 1 addition, 1 deletiontests/builtins/oracle/imprecise.res.oracle
- tests/builtins/oracle/malloc_bug_tr.res.oracle 1 addition, 1 deletiontests/builtins/oracle/malloc_bug_tr.res.oracle
- tests/builtins/oracle/memchr.res.oracle 1 addition, 1 deletiontests/builtins/oracle/memchr.res.oracle
- tests/builtins/oracle/memcpy.res.oracle 96 additions, 96 deletionstests/builtins/oracle/memcpy.res.oracle
Loading
Please register or sign in to comment