[Libc] Keeps only the normal behavior of functions acos and asin.
By default in Frama-C, NaN values are considered as errors and should not be produced by calls to library functions.
Showing
- share/libc/math.h 13 additions, 60 deletionsshare/libc/math.h
- src/plugins/report/tests/report/oracle/csv.csv 1 addition, 1 deletionsrc/plugins/report/tests/report/oracle/csv.csv
- tests/idct/oracle/ieee_1180_1990.res.oracle 94 additions, 256 deletionstests/idct/oracle/ieee_1180_1990.res.oracle
- tests/libc/oracle/fc_libc.1.res.oracle 18 additions, 108 deletionstests/libc/oracle/fc_libc.1.res.oracle
Loading
Please register or sign in to comment