Merge branch 'feature/andre/libc-bitchx' into 'master'
[Libc] add specs for several functions See merge request frama-c/frama-c!2109
Showing
- share/libc/__fc_machdep.h 1 addition, 0 deletionsshare/libc/__fc_machdep.h
- share/libc/__fc_machdep_linux_shared.h 1 addition, 0 deletionsshare/libc/__fc_machdep_linux_shared.h
- share/libc/limits.h 3 additions, 0 deletionsshare/libc/limits.h
- share/libc/pwd.h 18 additions, 8 deletionsshare/libc/pwd.h
- share/libc/string.h 23 additions, 0 deletionsshare/libc/string.h
- share/libc/unistd.h 35 additions, 3 deletionsshare/libc/unistd.h
- src/plugins/variadic/tests/erroneous/oracle/exec.res.oracle 3 additions, 3 deletionssrc/plugins/variadic/tests/erroneous/oracle/exec.res.oracle
- src/plugins/variadic/tests/known/oracle/exec.res.oracle 3 additions, 3 deletionssrc/plugins/variadic/tests/known/oracle/exec.res.oracle
- src/plugins/variadic/tests/known/oracle/exec_failed_requirement.res.oracle 3 additions, 3 deletions...dic/tests/known/oracle/exec_failed_requirement.res.oracle
- tests/builtins/oracle/memcpy.res.oracle 62 additions, 30 deletionstests/builtins/oracle/memcpy.res.oracle
- tests/libc/oracle/coverage.res.oracle 1 addition, 1 deletiontests/libc/oracle/coverage.res.oracle
- tests/libc/oracle/fc_libc.0.res.oracle 60 additions, 57 deletionstests/libc/oracle/fc_libc.0.res.oracle
- tests/libc/oracle/fc_libc.1.res.oracle 79 additions, 6 deletionstests/libc/oracle/fc_libc.1.res.oracle
- tests/libc/oracle/netdb_c.res.oracle 1 addition, 0 deletionstests/libc/oracle/netdb_c.res.oracle
- tests/libc/oracle/pwd_h.res.oracle 16 additions, 8 deletionstests/libc/oracle/pwd_h.res.oracle
- tests/libc/oracle/string_c.res.oracle 4 additions, 4 deletionstests/libc/oracle/string_c.res.oracle
- tests/libc/oracle/string_c_generic.res.oracle 2 additions, 2 deletionstests/libc/oracle/string_c_generic.res.oracle
- tests/libc/oracle/string_h.res.oracle 35 additions, 0 deletionstests/libc/oracle/string_h.res.oracle
- tests/libc/oracle/unistd_h.0.res.oracle 34 additions, 0 deletionstests/libc/oracle/unistd_h.0.res.oracle
- tests/libc/oracle/unistd_h.1.res.oracle 34 additions, 0 deletionstests/libc/oracle/unistd_h.1.res.oracle
Loading
Please register or sign in to comment