But formal verification of Rust is a fast-changing field so I took advantage ... If num is null then num <= 100 is true, so without the 2nd check the loop ...
確定! 回上一頁