Simplify Flux contract for int conversion#416

Merged

carolynzech merged 2 commits intomodel-checking:mainfrom

flux-rs:update-flux

Jul 22, 2025

Commits on Jul 16, 2025

Update Flux version
nilehmann
committed
update convert with cast (only)

ranjitjhala
authored and
nilehmann
committed