1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
//! Test the following expectations:
//! - midpoint(a, b) == (a + b) / 2
//! - midpoint(a, b) == midpoint(b, a)
//! - midpoint(-a, -b) == -midpoint(a, b)
#[test]
#[cfg(not(miri))]
fn midpoint_obvious_impl_i8() {
for a in i8::MIN..=i8::MAX {
for b in i8::MIN..=i8::MAX {
assert_eq!(i8::midpoint(a, b), ((a as i16 + b as i16) / 2) as i8);
}
}
}
#[test]
#[cfg(not(miri))]
fn midpoint_obvious_impl_u8() {
for a in u8::MIN..=u8::MAX {
for b in u8::MIN..=u8::MAX {
assert_eq!(u8::midpoint(a, b), ((a as u16 + b as u16) / 2) as u8);
}
}
}
#[test]
#[cfg(not(miri))]
fn midpoint_order_expectation_i8() {
for a in i8::MIN..=i8::MAX {
for b in i8::MIN..=i8::MAX {
assert_eq!(i8::midpoint(a, b), i8::midpoint(b, a));
}
}
}
#[test]
#[cfg(not(miri))]
fn midpoint_order_expectation_u8() {
for a in u8::MIN..=u8::MAX {
for b in u8::MIN..=u8::MAX {
assert_eq!(u8::midpoint(a, b), u8::midpoint(b, a));
}
}
}
#[test]
#[cfg(not(miri))]
fn midpoint_negative_expectation() {
for a in 0..=i8::MAX {
for b in 0..=i8::MAX {
assert_eq!(i8::midpoint(-a, -b), -i8::midpoint(a, b));
}
}
}
|
