Skip to content

Add a Kani function that checks if the range of a float is valid for conversion to int #933

Add a Kani function that checks if the range of a float is valid for conversion to int

Add a Kani function that checks if the range of a float is valid for conversion to int #933

Annotations

2 errors

verify-std (ubuntu-22.04)

succeeded Nov 28, 2024 in 5m 49s