disable empty lists for now for proptests

Author: fabianmurariu

db4-storage/src/pages/edge_store.rs

@@ -442,7 +442,7 @@ impl<ES: EdgeSegmentOps<Extension = EXT>, EXT: Config> EdgeStorageInner<ES, EXT>
     ) -> EdgeWriter<'a, RwLockWriteGuard<'a, MemEdgeSegment>, ES> {
         // optimistic first try to get a free page 3 times
         let num_edges = self.num_edges();
-        let slot_idx = num_edges as usize % N;
+        let slot_idx = num_edges % N;
         let maybe_free_page = self.free_pages[slot_idx..]
             .iter()
             .cycle()

db4-storage/src/segments/mod.rs

@@ -313,7 +313,6 @@ impl<T: HasRow> SegmentContainer<T> {
         self.data
             .iter_all()
             .chain(iter::repeat(None))
-            // .take(self.max_page_len as usize)
             .take(max_local_pos + 1)
             .enumerate()
             .map(|(i, v)| {

raphtory/src/test_utils.rs

@@ -149,7 +149,7 @@ pub fn prop(p_type: &PropType) -> BoxedStrategy<Prop> {
                 )
             })
             .boxed(),
-        PropType::List(p_type) => proptest::collection::vec(prop(p_type), 0..10)
+        PropType::List(p_type) => proptest::collection::vec(prop(p_type), 1..10)
             .prop_map(|props| Prop::List(props.into()))
             .boxed(),
         PropType::Map(p_types) => {
@@ -158,7 +158,7 @@ pub fn prop(p_type: &PropType) -> BoxedStrategy<Prop> {
                 .map(|(k, v)| (k.clone(), v.clone()))
                 .collect();
             let len = key_val.len();
-            let samples = proptest::sample::subsequence(key_val, 0..=len);
+            let samples = proptest::sample::subsequence(key_val, 1..=len);
             samples
                 .prop_flat_map(|key_vals| {
                     let props: Vec<_> = key_vals