Merge branch 'feature/andre/libc-yet-more-specs' into 'master'
[Libc] add several specs See merge request frama-c/frama-c!2125
No related branches found
No related tags found
Showing
- share/libc/math.h 13 additions, 15 deletionsshare/libc/math.h
- share/libc/signal.h 28 additions, 6 deletionsshare/libc/signal.h
- share/libc/stddef.h 0 additions, 2 deletionsshare/libc/stddef.h
- share/libc/stdlib.h 11 additions, 1 deletionshare/libc/stdlib.h
- share/libc/string.h 12 additions, 9 deletionsshare/libc/string.h
- share/libc/unistd.h 25 additions, 11 deletionsshare/libc/unistd.h
- src/plugins/report/tests/report/oracle/csv.csv 1 addition, 1 deletionsrc/plugins/report/tests/report/oracle/csv.csv
- tests/builtins/oracle/imprecise.res.oracle 12 additions, 0 deletionstests/builtins/oracle/imprecise.res.oracle
- tests/builtins/oracle/memcpy.res.oracle 117 additions, 68 deletionstests/builtins/oracle/memcpy.res.oracle
- tests/builtins/oracle/memcpy2.res.oracle 2 additions, 0 deletionstests/builtins/oracle/memcpy2.res.oracle
- tests/builtins/oracle/strnlen.res.oracle 2 additions, 0 deletionstests/builtins/oracle/strnlen.res.oracle
- tests/builtins/oracle/write-const.res.oracle 8 additions, 0 deletionstests/builtins/oracle/write-const.res.oracle
- tests/idct/oracle/ieee_1180_1990.res.oracle 115 additions, 118 deletionstests/idct/oracle/ieee_1180_1990.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 46 additions, 44 deletionstests/libc/oracle/fc_libc.0.res.oracle
- tests/libc/oracle/fc_libc.1.res.oracle 123 additions, 0 deletionstests/libc/oracle/fc_libc.1.res.oracle
- tests/libc/oracle/netdb_c.res.oracle 4 additions, 1 deletiontests/libc/oracle/netdb_c.res.oracle
- tests/libc/oracle/signal_h.res.oracle 177 additions, 0 deletionstests/libc/oracle/signal_h.res.oracle
- tests/libc/oracle/stdlib_c_env.res.oracle 1 addition, 1 deletiontests/libc/oracle/stdlib_c_env.res.oracle
- tests/libc/oracle/stdlib_h.res.oracle 8 additions, 0 deletionstests/libc/oracle/stdlib_h.res.oracle
Loading
Please register or sign in to comment