Merge branch 'feature/andre/libc-errno-codes' into 'master'
Feature/andre/libc errno codes See merge request frama-c/frama-c!3240
Showing
- share/libc/__fc_machdep.h 139 additions, 0 deletionsshare/libc/__fc_machdep.h
- share/libc/errno.h 1 addition, 1 deletionshare/libc/errno.h
- share/libc/stdio.h 9 additions, 2 deletionsshare/libc/stdio.h
- src/plugins/variadic/tests/erroneous/oracle/printf.res.oracle 1 addition, 1 deletion...plugins/variadic/tests/erroneous/oracle/printf.res.oracle
- src/plugins/variadic/tests/known/oracle/printf.res.oracle 1 addition, 1 deletionsrc/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_wrong_arity.res.oracle 1 addition, 1 deletion...variadic/tests/known/oracle/printf_wrong_arity.res.oracle
- src/plugins/variadic/tests/known/oracle/printf_wrong_pointers.res.oracle 1 addition, 1 deletion...iadic/tests/known/oracle/printf_wrong_pointers.res.oracle
- src/plugins/variadic/tests/known/oracle/printf_wrong_types.res.oracle 2 additions, 2 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 1 addition, 1 deletionsrc/plugins/variadic/tests/known/oracle/snprintf.res.oracle
- src/plugins/variadic/tests/known/oracle/stdio_print.res.oracle 1 addition, 1 deletion...lugins/variadic/tests/known/oracle/stdio_print.res.oracle
- src/plugins/variadic/tests/known/oracle/stdio_scan.res.oracle 1 addition, 1 deletion...plugins/variadic/tests/known/oracle/stdio_scan.res.oracle
- src/plugins/variadic/tests/known/oracle/swprintf.res.oracle 1 addition, 1 deletionsrc/plugins/variadic/tests/known/oracle/swprintf.res.oracle
- src/plugins/variadic/tests/known/oracle/wchar.res.oracle 1 addition, 1 deletionsrc/plugins/variadic/tests/known/oracle/wchar.res.oracle
- tests/idct/oracle/ieee_1180_1990.res.oracle 75 additions, 51 deletionstests/idct/oracle/ieee_1180_1990.res.oracle
- tests/libc/oracle/fc_libc.1.res.oracle 10 additions, 1 deletiontests/libc/oracle/fc_libc.1.res.oracle
- tests/rte/oracle/value_rte.res.oracle 62 additions, 50 deletionstests/rte/oracle/value_rte.res.oracle
Loading
Please register or sign in to comment