-
- Downloads
[variadic] preserve former assigns order to reduce oracle differences
Showing
- src/plugins/variadic/standard.ml 3 additions, 6 deletionssrc/plugins/variadic/standard.ml
- src/plugins/variadic/tests/known/oracle/print_libc.pretty.c 8 additions, 8 deletionssrc/plugins/variadic/tests/known/oracle/print_libc.pretty.c
- src/plugins/variadic/tests/known/oracle/printf.res.oracle 139 additions, 139 deletionssrc/plugins/variadic/tests/known/oracle/printf.res.oracle
- src/plugins/variadic/tests/known/oracle/printf_garbled_mix.res.oracle 5 additions, 5 deletions...variadic/tests/known/oracle/printf_garbled_mix.res.oracle
- src/plugins/variadic/tests/known/oracle/printf_wrong_arity.res.oracle 10 additions, 10 deletions...variadic/tests/known/oracle/printf_wrong_arity.res.oracle
- src/plugins/variadic/tests/known/oracle/printf_wrong_pointers.res.oracle 25 additions, 25 deletions...iadic/tests/known/oracle/printf_wrong_pointers.res.oracle
- src/plugins/variadic/tests/known/oracle/printf_wrong_types.res.oracle 160 additions, 160 deletions...variadic/tests/known/oracle/printf_wrong_types.res.oracle
- src/plugins/variadic/tests/known/oracle/scanf.res.oracle 6 additions, 6 deletionssrc/plugins/variadic/tests/known/oracle/scanf.res.oracle
- src/plugins/variadic/tests/known/oracle/scanf_loop.res.oracle 5 additions, 5 deletions...plugins/variadic/tests/known/oracle/scanf_loop.res.oracle
- src/plugins/variadic/tests/known/oracle/scanf_wrong.res.oracle 6 additions, 6 deletions...lugins/variadic/tests/known/oracle/scanf_wrong.res.oracle
- src/plugins/variadic/tests/known/oracle/snprintf.res.oracle 6 additions, 6 deletionssrc/plugins/variadic/tests/known/oracle/snprintf.res.oracle
- src/plugins/variadic/tests/known/oracle/stdio_print.res.oracle 18 additions, 18 deletions...lugins/variadic/tests/known/oracle/stdio_print.res.oracle
- src/plugins/variadic/tests/known/oracle/stdio_scan.res.oracle 15 additions, 15 deletions...plugins/variadic/tests/known/oracle/stdio_scan.res.oracle
- src/plugins/variadic/tests/known/oracle/swprintf.res.oracle 6 additions, 6 deletionssrc/plugins/variadic/tests/known/oracle/swprintf.res.oracle
- src/plugins/variadic/tests/known/oracle/wchar.res.oracle 47 additions, 47 deletionssrc/plugins/variadic/tests/known/oracle/wchar.res.oracle
Loading
Please register or sign in to comment