Add a Kani function that checks if the range of a float is valid for conversion to int#3742
Merged
zhassan-aws merged 7 commits intomodel-checking:mainfrom zhassan-aws:f2i-boundsNov 28, 2024
+166-1
Commits
Commits on Nov 27, 2024
Commits on Nov 28, 2024
- committed
- committed