Strengthen Duration::from_secs contract to exclude fractional seconds - #658

Strengthen Duration::from_secs contract to exclude fractional seconds#658

Adkid-Zephyr wants to merge 1 commit into

model-checking:mainmodel-checking/verify-rust-std:mainfrom

Adkid-Zephyr:codex/strengthen-duration-from-secs-contractAdkid-Zephyr/verify-rust-std:codex/strengthen-duration-from-secs-contractCopy head branch name to clipboard