src/kernel_services/abstract_interp/float_interval_sig.mli · 116fdd88b759a1ca0a122b00accada74d60b7253 · pub / frama-c · GitLab

Snippets Groups Projects

3 years ago
ccd32410
[Eva] Adds support for ACSL predicate is_infinite. · ccd32410
David Bühler authored 3 years ago
```
Adds functions [is_infinite] and [backward_is_infinite] in float_interval.
```
ccd32410

History
[Eva] Adds support for ACSL predicate is_infinite.
David Bühler authored 3 years ago
```
Adds functions [is_infinite] and [backward_is_infinite] in float_interval.
```