tezos-smart-rollup-encoding 0.2.2

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
22
23
24
25
26

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

//! Arbitrary string ticket generation.
use crate::contract::Contract;

use super::StringTicket;
use num_traits::Zero;
use proptest::prelude::*;

impl StringTicket {
    /// Strategy for generating string tickets.
    pub fn arb() -> BoxedStrategy<StringTicket> {
        (
            Contract::arb_originated(),
            String::arbitrary(),
            // non-zero
            u64::arbitrary().prop_filter("zero tickets banned", |i| !i.is_zero()),
        )
            .prop_map(|(creator, contents, amount)| {
                StringTicket::new(creator, contents, amount).unwrap()
            })
            .boxed()
    }
}