fn block_forest_from_keys(
    depth: u32,
    keypairs: Vec<Ed25519PrivateKey>,
) -> impl Strategy<Value = LinearizedBlockForest<Vec<usize>>> {
    let leaf = leaf_strategy().prop_map(|block| vec![block]);
    // Note that having `expected_branch_size` of 1 seems to generate significantly larger trees
    // than desired (this is my understanding after reading the documentation:
    // https://docs.rs/proptest/0.3.0/proptest/strategy/trait.Strategy.html#method.prop_recursive)
    leaf.prop_recursive(depth, depth, 2, move |inner| {
        child(proptests::mostly_in_keypair_pool(keypairs.clone()), inner)
    })
}
/// This creates a block forest with keys extracted from a specific
/// vector
This creates a block forest with keys extracted from a specific
vector
This creates a block forest with keys extracted from a specific vector
fn block_forest_from_keys(
    depth: u32,
    keypairs: Vec<Ed25519PrivateKey>,
) -> impl Strategy<Value = LinearizedBlockForest<Vec<usize>>> {
    let leaf = leaf_strategy().prop_map(|block| vec![block]);
    // Note that having `expected_branch_size` of 1 seems to generate significantly larger trees
    // than desired (this is my understanding after reading the documentation:
    // https://docs.rs/proptest/0.3.0/proptest/strategy/trait.Strategy.html#method.prop_recursive)
    leaf.prop_recursive(depth, depth, 2, move |inner| {
        child(proptests::mostly_in_keypair_pool(keypairs.clone()), inner)
    })
}
fn block_forest_from_keys ( depth : u32 , keypairs : Vec < Ed25519PrivateKey > , ) -> impl Strategy < Value = LinearizedBlockForest < Vec < usize > > > { let leaf = leaf_strategy ( ) . prop_map ( | block | vec ! [ block ] ) ; // Note that having `expected_branch_size` of 1 seems to generate significantly larger trees // than desired (this is my understanding after reading the documentation: // https://docs.rs/proptest/0.3.0/proptest/strategy/trait.Strategy.html#method.prop_recursive) leaf . prop_recursive ( depth , depth , 2 , move | inner | { child ( proptests :: mostly_in_keypair_pool ( keypairs . clone ( ) ) , inner ) } ) }
This creates a block forest with keys extracted from a specific
vector
This creates a block forest with keys extracted from a specific vector
depth
u32
keypairs
Vec<Ed25519PrivateKey>
depth
u32
keypairs
Vec<Ed25519PrivateKey>