Skip to main content

Module float

kani

Module float 

Source
Expand description

This module contains functions useful for float-related checks

Functionsยง

float_to_int_in_range
Returns whether the given float value satisfies the range condition of the to_int_unchecked methods, namely that the value after truncation is in range of the target Int