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

1//! Randomised data generation for disk format property tests.
2
3use proptest::prelude::*;
4
5use zebra_chain::{serialization::TrustedPreallocate, transparent};
6
7use super::OutputIndex;
8
9impl Arbitrary for OutputIndex {
10    type Parameters = ();
11
12    fn arbitrary_with(_args: ()) -> Self::Strategy {
13        (0..=transparent::Output::max_allocation())
14            .prop_map(OutputIndex::from_u64)
15            .boxed()
16    }
17
18    type Strategy = BoxedStrategy<Self>;
19}