zebra_state/service/finalized_state/disk_format/transparent/
arbitrary.rs

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>;
}