summaryrefslogtreecommitdiffstats
path: root/vendor/proptest/src/num.rs
diff options
context:
space:
mode:
Diffstat (limited to 'vendor/proptest/src/num.rs')
-rw-r--r--vendor/proptest/src/num.rs14
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);
}
}
};