Merge branch 'feature/andre/libc-wcscasecmp' into 'master'
Feature/andre/libc wcscasecmp See merge request frama-c/frama-c!3056
No related branches found
No related tags found
Showing
- share/libc/wchar.c 14 additions, 0 deletionsshare/libc/wchar.c
- share/libc/wchar.h 7 additions, 0 deletionsshare/libc/wchar.h
- src/plugins/variadic/tests/known/oracle/printf.res.oracle 6 additions, 6 deletionssrc/plugins/variadic/tests/known/oracle/printf.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 6 additions, 6 deletionssrc/plugins/variadic/tests/known/oracle/wchar.res.oracle
- tests/libc/oracle/fc_libc.0.res.oracle 19 additions, 19 deletionstests/libc/oracle/fc_libc.0.res.oracle
- tests/libc/oracle/fc_libc.1.res.oracle 25 additions, 0 deletionstests/libc/oracle/fc_libc.1.res.oracle
- tests/libc/oracle/wchar_c_h.0.res.oracle 64 additions, 6 deletionstests/libc/oracle/wchar_c_h.0.res.oracle
- tests/libc/oracle/wchar_h.res.oracle 16 additions, 0 deletionstests/libc/oracle/wchar_h.res.oracle
- tests/libc/wchar_c_h.c 7 additions, 0 deletionstests/libc/wchar_c_h.c
- tests/libc/wchar_h.c 3 additions, 0 deletionstests/libc/wchar_h.c
Loading
Please register or sign in to comment