mirror of
https://github.com/swift-project/pilotclient.git
synced 2026-03-31 04:25:35 +08:00
Remark: "assuming signed overflow does not occur when assuming that (X - c) > X is always false"
Remark: "assuming signed overflow does not occur when assuming that (X - c) > X is always false"