mirrors/loro
1
0
Fork 0
mirror of https://github.com/loro-dev/loro.git synced 2025-02-02 11:06:14 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

test: simplify proptest

Browse source
This commit is contained in:
Zixuan Chen 2022-10-17 15:06:58 +08:00
parent fe12784fc3
commit 9d66aeb511
4 changed files with 23 additions and 16 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
crates/loro-core/src/container/map/tests.rs
View file

@ -30,8 +30,8 @@ mod map_proptest {
proptest! { proptest! {
#[test] #[test]
fn insert( fn insert(
key in prop::collection::vec("[a-z]", 0..100), key in prop::collection::vec("[a-z]", 0..22),
value in prop::collection::vec(gen_insert_value(), 0..100) value in prop::collection::vec(gen_insert_value(), 0..22)
) { ) {
let mut loro = LoroCore::default(); let mut loro = LoroCore::default();
let accessor = loro.store.get_accessor(); let accessor = loro.store.get_accessor();

28
crates/loro-core/src/dag/test.rs
View file

@ -545,40 +545,48 @@ mod find_common_ancestors_proptest {
proptest! { proptest! {
#[test] #[test]
fn test_2dags( fn test_2dags(
before_merged_insertions in prop::collection::vec(gen_interaction(2), 0..300), before_merged_insertions in prop::collection::vec(gen_interaction(2), 0..100),
after_merged_insertions in prop::collection::vec(gen_interaction(2), 0..300) after_merged_insertions in prop::collection::vec(gen_interaction(2), 0..100)
) { ) {
test_single_common_ancestor(2, before_merged_insertions, after_merged_insertions)?; test_single_common_ancestor(2, before_merged_insertions, after_merged_insertions)?;
} }
#[test] #[test]
fn test_4dags( fn test_4dags(
before_merged_insertions in prop::collection::vec(gen_interaction(4), 0..300), before_merged_insertions in prop::collection::vec(gen_interaction(4), 0..100),
after_merged_insertions in prop::collection::vec(gen_interaction(4), 0..300) after_merged_insertions in prop::collection::vec(gen_interaction(4), 0..100)
) { ) {
test_single_common_ancestor(4, before_merged_insertions, after_merged_insertions)?; test_single_common_ancestor(4, before_merged_insertions, after_merged_insertions)?;
} }
#[test] #[test]
fn test_10dags( fn test_10dags(
before_merged_insertions in prop::collection::vec(gen_interaction(10), 0..300), before_merged_insertions in prop::collection::vec(gen_interaction(10), 0..100),
after_merged_insertions in prop::collection::vec(gen_interaction(10), 0..300) after_merged_insertions in prop::collection::vec(gen_interaction(10), 0..100)
) { ) {
test_single_common_ancestor(10, before_merged_insertions, after_merged_insertions)?; test_single_common_ancestor(10, before_merged_insertions, after_merged_insertions)?;
} }
#[test]
fn test_mul_ancestors_5dags(
before_merged_insertions in prop::collection::vec(gen_interaction(10), 0..100),
after_merged_insertions in prop::collection::vec(gen_interaction(10), 0..100)
) {
test_mul_ancestors::<2>(5, before_merged_insertions, after_merged_insertions)?;
}
#[test] #[test]
fn test_mul_ancestors_10dags( fn test_mul_ancestors_10dags(
before_merged_insertions in prop::collection::vec(gen_interaction(10), 0..300), before_merged_insertions in prop::collection::vec(gen_interaction(10), 0..100),
after_merged_insertions in prop::collection::vec(gen_interaction(10), 0..300) after_merged_insertions in prop::collection::vec(gen_interaction(10), 0..100)
) { ) {
test_mul_ancestors::<3>(10, before_merged_insertions, after_merged_insertions)?; test_mul_ancestors::<3>(10, before_merged_insertions, after_merged_insertions)?;
} }
#[test] #[test]
fn test_mul_ancestors_15dags_2( fn test_mul_ancestors_15dags_2(
before_merged_insertions in prop::collection::vec(gen_interaction(15), 0..500), before_merged_insertions in prop::collection::vec(gen_interaction(15), 0..50),
after_merged_insertions in prop::collection::vec(gen_interaction(15), 0..500) after_merged_insertions in prop::collection::vec(gen_interaction(15), 0..50)
) { ) {
test_mul_ancestors::<5>(15, before_merged_insertions, after_merged_insertions)?; test_mul_ancestors::<5>(15, before_merged_insertions, after_merged_insertions)?;
} }

3
crates/rle/src/rle_tree/test/notify_prop_test.rs
View file

@ -1,4 +1,3 @@
use proptest::prop_compose; use proptest::prop_compose;
use rand::{rngs::StdRng, SeedableRng}; use rand::{rngs::StdRng, SeedableRng};
@ -343,7 +342,7 @@ mod notify_proptest {
proptest! { proptest! {
#[test] #[test]
fn test_notify( fn test_notify(
interactions in prop::collection::vec(gen_interaction(), 1..1000), interactions in prop::collection::vec(gen_interaction(), 1..100),
) { ) {
test(&interactions); test(&interactions);
} }

4
crates/rle/src/rle_tree/test/string_prop_test.rs
View file

@ -86,7 +86,7 @@ fn basic_string_op() {
fn issue_0() { fn issue_0() {
let mut tree: RleTree<CustomString, StringTreeTrait> = RleTree::default(); let mut tree: RleTree<CustomString, StringTreeTrait> = RleTree::default();
let insert_keys = "0123456789abcdefghijklmnopq"; let insert_keys = "0123456789abcdefghijklmnopq";
for i in 0..(1e6 as usize) { for i in 0..(1e5 as usize) {
let start = i % insert_keys.len(); let start = i % insert_keys.len();
if i % 3 == 0 && tree.len() > 0 { if i % 3 == 0 && tree.len() > 0 {
let start = i % tree.len(); let start = i % tree.len();
@ -319,7 +319,7 @@ mod string_proptest {
proptest! { proptest! {
#[test] #[test]
fn test_tree_string_op_the_same( fn test_tree_string_op_the_same(
interactions in prop::collection::vec(gen_interaction(), 1..100), interactions in prop::collection::vec(gen_interaction(), 1..50),
) { ) {
run_test(interactions); run_test(interactions);
} }