Lines Matching refs:s2f
93 let s2f = s1.checked_add(MAX_FORWARD_DISTANCE); in test_serial_number_arithmetic32bit() localVariable
96 if let (Some(s2f), Some(s2b)) = (s2f, s2b) { in test_serial_number_arithmetic32bit()
97 assert!(sna32lt(s1, s2f), "s1 < s2 should be true: s1={s1} s2={s2f}"); in test_serial_number_arithmetic32bit()
104 !sna32gt(s1, s2f), in test_serial_number_arithmetic32bit()
110 sna32lte(s1, s2f), in test_serial_number_arithmetic32bit()
119 !sna32gte(s1, s2f), in test_serial_number_arithmetic32bit()
173 let s2f = s1.checked_add(MAX_FORWARD_DISTANCE); in test_serial_number_arithmetic16bit() localVariable
176 if let (Some(s2f), Some(s2b)) = (s2f, s2b) { in test_serial_number_arithmetic16bit()
177 assert!(sna16lt(s1, s2f), "s1 < s2 should be true: s1={s1} s2={s2f}"); in test_serial_number_arithmetic16bit()
184 !sna16gt(s1, s2f), in test_serial_number_arithmetic16bit()
190 sna16lte(s1, s2f), in test_serial_number_arithmetic16bit()
199 !sna16gte(s1, s2f), in test_serial_number_arithmetic16bit()