use std::ops::Range;
use proptest::prelude::*;
use srgn::ranges::Ranges;
use crate::properties::DEFAULT_NUMBER_OF_TEST_CASES;
proptest! {
#![proptest_config(ProptestConfig::with_cases(DEFAULT_NUMBER_OF_TEST_CASES))]
#[test]
fn test_ranges_from_single_range(
range in any::<Range<u16>>(), ) {
let range = Range::<usize>{
start: range.start.into(),
end: range.end.into(),
};
let ranges = Ranges::from(&range);
prop_assert_eq!(ranges.len(), range.len());
}
}