update oracles
Showing
- src/plugins/e-acsl/tests/bts/oracle_ci/gen_bts2252.c 4 additions, 4 deletionssrc/plugins/e-acsl/tests/bts/oracle_ci/gen_bts2252.c
- src/plugins/e-acsl/tests/format/oracle_ci/gen_printf.c 2 additions, 2 deletionssrc/plugins/e-acsl/tests/format/oracle_ci/gen_printf.c
- src/plugins/e-acsl/tests/temporal/oracle_ci/gen_t_memcpy.c 4 additions, 4 deletionssrc/plugins/e-acsl/tests/temporal/oracle_ci/gen_t_memcpy.c
- src/plugins/variadic/tests/known/oracle/print_libc.pretty.c 3 additions, 3 deletionssrc/plugins/variadic/tests/known/oracle/print_libc.pretty.c
- src/plugins/variadic/tests/known/oracle/printf.res.oracle 28 additions, 31 deletionssrc/plugins/variadic/tests/known/oracle/printf.res.oracle
- src/plugins/variadic/tests/known/oracle/printf_garbled_mix.res.oracle 1 addition, 1 deletion...variadic/tests/known/oracle/printf_garbled_mix.res.oracle
- src/plugins/variadic/tests/known/oracle/printf_redefined.res.oracle 1 addition, 1 deletion...s/variadic/tests/known/oracle/printf_redefined.res.oracle
- src/plugins/variadic/tests/known/oracle/printf_wrong_arity.res.oracle 2 additions, 2 deletions...variadic/tests/known/oracle/printf_wrong_arity.res.oracle
- src/plugins/variadic/tests/known/oracle/printf_wrong_pointers.res.oracle 5 additions, 5 deletions...iadic/tests/known/oracle/printf_wrong_pointers.res.oracle
- src/plugins/variadic/tests/known/oracle/printf_wrong_types.res.oracle 32 additions, 32 deletions...variadic/tests/known/oracle/printf_wrong_types.res.oracle
- src/plugins/variadic/tests/known/oracle/scanf.res.oracle 1 addition, 1 deletionsrc/plugins/variadic/tests/known/oracle/scanf.res.oracle
- src/plugins/variadic/tests/known/oracle/scanf_loop.res.oracle 1 addition, 1 deletion...plugins/variadic/tests/known/oracle/scanf_loop.res.oracle
- src/plugins/variadic/tests/known/oracle/scanf_wrong.res.oracle 1 addition, 1 deletion...lugins/variadic/tests/known/oracle/scanf_wrong.res.oracle
- src/plugins/variadic/tests/known/oracle/snprintf.res.oracle 4 additions, 4 deletionssrc/plugins/variadic/tests/known/oracle/snprintf.res.oracle
- src/plugins/variadic/tests/known/oracle/stdio_print.res.oracle 7 additions, 8 deletions...lugins/variadic/tests/known/oracle/stdio_print.res.oracle
- src/plugins/variadic/tests/known/oracle/stdio_scan.res.oracle 3 additions, 3 deletions...plugins/variadic/tests/known/oracle/stdio_scan.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle/subset_fopen.res.oracle 1 addition, 1 deletion...plugins/wp/tests/wp_plugin/oracle/subset_fopen.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle_qualif/subset_fopen.res.oracle 1 addition, 1 deletion.../wp/tests/wp_plugin/oracle_qualif/subset_fopen.res.oracle
- tests/libc/oracle/fc_libc.1.res.oracle 86 additions, 94 deletionstests/libc/oracle/fc_libc.1.res.oracle
- tests/libc/oracle/inttypes_h.0.res.oracle 168 additions, 168 deletionstests/libc/oracle/inttypes_h.0.res.oracle
Loading
Please register or sign in to comment