zebra-state 1.0.0-beta.46

State contextual verification and storage code for Zebra
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

//! Randomised data generation for disk format property tests.

use proptest::prelude::*;

use zebra_chain::{serialization::TrustedPreallocate, transparent};

use super::OutputIndex;

impl Arbitrary for OutputIndex {
    type Parameters = ();

    fn arbitrary_with(_args: ()) -> Self::Strategy {
        (0..=transparent::Output::max_allocation())
            .prop_map(OutputIndex::from_u64)
            .boxed()
    }

    type Strategy = BoxedStrategy<Self>;
}