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
|
#![cfg(not(feature = "compact"))]
#![cfg(feature = "write")]
use lexical_util::div128::u128_divrem;
use lexical_util::step::u64_step;
use proptest::{prop_assert_eq, proptest};
proptest! {
#[test]
#[cfg_attr(miri, ignore)]
fn u128_divrem_proptest(i in u128::min_value()..u128::max_value()) {
let (hi, lo) = u128_divrem(i, 10);
let step = u64_step(10);
let d = 10u128.pow(step as u32);
let expected = (i / d, (i % d) as u64);
prop_assert_eq!((hi, lo), expected);
}
#[test]
#[cfg_attr(miri, ignore)]
#[cfg(feature = "radix")]
fn u128_divrem_radix_proptest(i in u128::min_value()..u128::max_value(), radix in 2u32..=36) {
// Simulate a const expr.
let (hi, lo) = u128_divrem(i, radix);
let step = u64_step(radix);
let d = (radix as u128).pow(step as u32);
let expected = (i / d, (i % d) as u64);
prop_assert_eq!((hi, lo), expected);
}
}
|
