tezos-smart-rollup-encoding 0.2.0

Data Encodings used by Tezos Smart Rollup kernels.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

// SPDX-FileCopyrightText: 2022-2023 TriliTech <contact@trili.tech>
//
// SPDX-License-Identifier: MIT

//! Arbitrary contract generation

use super::Contract;
use crypto::hash::ContractKt1Hash;
use crypto::hash::HashType;
use proptest::prelude::*;

impl Contract {
    /// Randomly selected originated contract.
    pub fn arb_originated() -> BoxedStrategy<Contract> {
        any::<[u8; HashType::ContractKt1Hash.size()]>()
            .prop_map(Vec::from)
            .prop_map(ContractKt1Hash)
            .prop_map(Contract::Originated)
            .boxed()
    }
}