Merge branch 'feature/andre/libc-more' into 'master'
[Libc] add more specs See merge request frama-c/frama-c!2077
No related branches found
No related tags found
Showing
- headers/header_spec.txt 1 addition, 0 deletionsheaders/header_spec.txt
- share/libc/time.c 37 additions, 0 deletionsshare/libc/time.c
- share/libc/time.h 11 additions, 0 deletionsshare/libc/time.h
- share/libc/unistd.h 130 additions, 7 deletionsshare/libc/unistd.h
- tests/libc/fc_libc.c 1 addition, 1 deletiontests/libc/fc_libc.c
- tests/libc/oracle/fc_libc.0.res.oracle 64 additions, 59 deletionstests/libc/oracle/fc_libc.0.res.oracle
- tests/libc/oracle/fc_libc.1.res.oracle 123 additions, 1 deletiontests/libc/oracle/fc_libc.1.res.oracle
- tests/libc/oracle/time_c.res.oracle 34 additions, 0 deletionstests/libc/oracle/time_c.res.oracle
- tests/libc/oracle/time_h.res.oracle 15 additions, 0 deletionstests/libc/oracle/time_h.res.oracle
- tests/libc/oracle/time_misc.res.oracle 71 additions, 0 deletionstests/libc/oracle/time_misc.res.oracle
- tests/libc/oracle/unistd_h.0.res.oracle 392 additions, 6 deletionstests/libc/oracle/unistd_h.0.res.oracle
- tests/libc/oracle/unistd_h.1.res.oracle 392 additions, 6 deletionstests/libc/oracle/unistd_h.1.res.oracle
- tests/libc/time_c.c 12 additions, 0 deletionstests/libc/time_c.c
- tests/libc/time_h.c 4 additions, 0 deletionstests/libc/time_h.c
- tests/libc/time_misc.c 11 additions, 0 deletionstests/libc/time_misc.c
- tests/libc/unistd_h.c 30 additions, 4 deletionstests/libc/unistd_h.c
Loading
Please register or sign in to comment