tests/float/oracle/logic.0.res.oracle · 9366f3cf4e2c04d25a6a41e43a742254c2733edb · pub / frama-c · GitLab

Snippets Groups Projects

5 years ago
9366f3cf
[Floating_point] Uses exponent p0 when printing ±0. as hexadecimal. · 9366f3cf
David Bühler authored 5 years ago
```
Instead of p-1022, which was misleading on single precision float.
```
9366f3cf

History
[Floating_point] Uses exponent p0 when printing ±0. as hexadecimal.
David Bühler authored 5 years ago
```
Instead of p-1022, which was misleading on single precision float.
```