tests/libc/oracle/math_h.2.res.oracle · d5c3a5447458e54fcfea363b64a8c3ac8e4a079a · pub / frama-c

3 years ago

David Bühler authored 3 years ago

The preconditions generated in place of behaviors leading to NaN or infinite
floating-point values are now named.

d5c3a544

David Bühler authored 3 years ago

The preconditions generated in place of behaviors leading to NaN or infinite
floating-point values are now named.