diff options
Diffstat (limited to 'vendor/proptest/src/num.rs')
-rw-r--r-- | vendor/proptest/src/num.rs | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/vendor/proptest/src/num.rs b/vendor/proptest/src/num.rs index 75431c7b6..3aa785db4 100644 --- a/vendor/proptest/src/num.rs +++ b/vendor/proptest/src/num.rs @@ -18,6 +18,8 @@ use crate::test_runner::TestRunner; use rand::distributions::uniform::{SampleUniform, Uniform}; use rand::distributions::{Distribution, Standard}; +/// Generate a random value of `X`, sampled uniformly from the half +/// open range `[low, high)` (excluding `high`). Panics if `low >= high`. pub(crate) fn sample_uniform<X: SampleUniform>( run: &mut TestRunner, start: X, @@ -26,7 +28,9 @@ pub(crate) fn sample_uniform<X: SampleUniform>( Uniform::new(start, end).sample(run.rng()) } -pub(crate) fn sample_uniform_incl<X: SampleUniform>( +/// Generate a random value of `X`, sampled uniformly from the closed +/// range `[low, high]` (inclusive). Panics if `low > high`. +pub fn sample_uniform_incl<X: SampleUniform>( run: &mut TestRunner, start: X, end: X, @@ -1054,17 +1058,17 @@ mod test { mod $t { use crate::strategy::check_strategy_sanity; - const FOURTY_TWO: $t = 42 as $t; + const FORTY_TWO: $t = 42 as $t; const FIFTY_SIX: $t = 56 as $t; #[test] fn range() { - check_strategy_sanity(FOURTY_TWO..FIFTY_SIX, None); + check_strategy_sanity(FORTY_TWO..FIFTY_SIX, None); } #[test] fn range_inclusive() { - check_strategy_sanity(FOURTY_TWO..=FIFTY_SIX, None); + check_strategy_sanity(FORTY_TWO..=FIFTY_SIX, None); } #[test] @@ -1079,7 +1083,7 @@ mod test { #[test] fn range_from() { - check_strategy_sanity(FOURTY_TWO.., None); + check_strategy_sanity(FORTY_TWO.., None); } } }; |