"src/git@git.frama-c.com:pub/frama-c.git" did not exist on "b677f3ed4034fb7be28411d30ecd5ba93268664b"
Merge branch 'feature/libc/more-specs' into 'master'
[Libc] add specs for sys/stat.h functions See merge request frama-c/frama-c!3587
No related branches found
No related tags found
Showing
- share/libc/sys/stat.h 65 additions, 6 deletionsshare/libc/sys/stat.h
- tests/libc/oracle/fc_libc.1.res.oracle 77 additions, 0 deletionstests/libc/oracle/fc_libc.1.res.oracle
- tests/libc/oracle/sys_stat_h.res.oracle 43 additions, 0 deletionstests/libc/oracle/sys_stat_h.res.oracle
- tests/libc/sys_stat_h.c 13 additions, 0 deletionstests/libc/sys_stat_h.c
Loading
Please register or sign in to comment