Merge branch 'feature/andre/libc-8cc' into 'master'
[Libc] add stdnoreturn.h and add/improve some specs See merge request frama-c/frama-c!3512
Showing
- headers/header_spec.txt 1 addition, 0 deletionsheaders/header_spec.txt
- share/compliance/glibc_functions.json 1 addition, 0 deletionsshare/compliance/glibc_functions.json
- share/libc/__fc_libc.h 1 addition, 0 deletionsshare/libc/__fc_libc.h
- share/libc/stdlib.h 14 additions, 0 deletionsshare/libc/stdlib.h
- share/libc/stdnoreturn.h 31 additions, 0 deletionsshare/libc/stdnoreturn.h
- share/libc/time.h 11 additions, 0 deletionsshare/libc/time.h
- src/plugins/markdown-report/tests/sarif/oracle/std_string.sarif 222 additions, 10 deletions...ugins/markdown-report/tests/sarif/oracle/std_string.sarif
- tests/libc/fc_libc.c 1 addition, 0 deletionstests/libc/fc_libc.c
- tests/libc/oracle/coverage.res.oracle 1 addition, 1 deletiontests/libc/oracle/coverage.res.oracle
- tests/libc/oracle/fc_libc.0.res.oracle 14 additions, 13 deletionstests/libc/oracle/fc_libc.0.res.oracle
- tests/libc/oracle/fc_libc.1.res.oracle 30 additions, 0 deletionstests/libc/oracle/fc_libc.1.res.oracle
- tests/libc/oracle/fc_libc.2.res.oracle 1 addition, 0 deletionstests/libc/oracle/fc_libc.2.res.oracle
- tests/libc/oracle/stdlib_h.res.oracle 2 additions, 0 deletionstests/libc/oracle/stdlib_h.res.oracle
- tests/libc/oracle/stdnoreturn_h.res.oracle 23 additions, 0 deletionstests/libc/oracle/stdnoreturn_h.res.oracle
- tests/libc/oracle/time_h.res.oracle 21 additions, 0 deletionstests/libc/oracle/time_h.res.oracle
- tests/libc/stdnoreturn_h.c 20 additions, 0 deletionstests/libc/stdnoreturn_h.c
- tests/libc/time_h.c 5 additions, 0 deletionstests/libc/time_h.c
Loading
Please register or sign in to comment