Skip to content

Commit 58c8f39

Browse files
committed
revise tests
1 parent b65d082 commit 58c8f39

File tree

1 file changed

+9
-11
lines changed

1 file changed

+9
-11
lines changed

curve25519-dalek/src/scalar.rs

Lines changed: 9 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -843,7 +843,7 @@ impl Scalar {
843843

844844
let carry = scalar.shr1_assign();
845845
debug_assert_eq!(carry, 0);
846-
846+
847847
scalar.pack()
848848
}
849849

@@ -1698,18 +1698,16 @@ pub(crate) mod test {
16981698
// test a range of small scalars
16991699
for i in 0u64..32 {
17001700
let scalar = Scalar::from(i);
1701-
let double = scalar + scalar;
1702-
let dividend = double.div_by_2();
1703-
assert_eq!(scalar, dividend);
1701+
let dividend = scalar.div_by_2();
1702+
assert_eq!(scalar, dividend + dividend);
17041703
}
17051704

1706-
// test odd value near the order
1707-
let scalar = Scalar::ZERO - Scalar::from(2u64);
1708-
#[cfg(feature = "group")]
1709-
assert!(bool::from(scalar.is_odd()));
1710-
1711-
let dividend = scalar.div_by_2();
1712-
assert_eq!(scalar, dividend + dividend);
1705+
// test a range of scalars near the modulus
1706+
for i in 0u64..32 {
1707+
let scalar = Scalar::ZERO - Scalar::from(i);
1708+
let dividend = scalar.div_by_2();
1709+
assert_eq!(scalar, dividend + dividend);
1710+
}
17131711
}
17141712

17151713
#[test]

0 commit comments

Comments
 (0)