rust/tantivy
1
0
Fork 0
mirror of https://github.com/quickwit-oss/tantivy.git synced 2026-01-06 09:12:55 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fixing sstable proptest (#1743)

Browse Source
This commit is contained in:
Paul Masurel
2022-12-26 16:29:33 +09:00
committed by GitHub
parent 9948a84ebe
commit 9c5fef5af7
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
sstable/src/lib.rs
View File

@@ -457,8 +457,8 @@ mod test {
fn bound_strategy() -> impl Strategy<Value = Bound<String>> {
prop_oneof![
Just(Bound::<String>::Unbounded),
"[a-d]*".prop_map(|key| Bound::Included(key)),
"[a-d]*".prop_map(|key| Bound::Excluded(key)),
"[a-c]{0-5}".prop_map(|key| Bound::Included(key)),
"[a-c]{0-5}".prop_map(|key| Bound::Excluded(key)),
]
}
@@ -476,14 +476,14 @@ mod test {
|(left, right)| match (extract_key(left.as_ref()), extract_key(right.as_ref())) {
(None, _) => true,
(_, None) => true,
(left, right) => left <= right,
(left, right) => left < right,
},
)
}
proptest! {
#[test]
fn test_prop_test_ranges(words in prop::collection::btree_set("[a-d]*", 1..100),
fn test_proptest_sstable_ranges(words in prop::collection::btree_set("[a-c]{0-6}", 1..100),
(lower_bound, upper_bound) in bounds_strategy(),
) {
// TODO tweak block size.