use lazy_static::lazy_static;
use once_cell::sync::Lazy;
use sample_test::sample_test;
use sample_test::TestResult;
use std::ops::Range;
lazy_static! {
static ref RANGE: Range<usize> = 10..20;
}
static RANGE2: Lazy<Range<usize>> = Lazy::new(|| 10..20);
fn range() -> Range<usize> {
10..20
}
#[sample_test]
fn min(#[sample(10..20)] x: usize, #[sample(range())] y: usize) -> TestResult {
if x < y {
TestResult::discard()
} else {
TestResult::from_bool(::std::cmp::min(x, y) == y)
}
}
#[sample_test]
fn min2(#[sample(RANGE.clone())] x: usize, #[sample(RANGE2.clone())] y: usize) -> TestResult {
if x < y {
TestResult::discard()
} else {
TestResult::from_bool(::std::cmp::min(x, y) == y)
}
}