Function seeded_builder

fendermint/testing/src/smt.rs:115–117

Seed a new builder. The seed carries the size as well as the initial randomness.

(seed: u64)

/// Seed a new builder. The seed carries the size as well as the initial randomness.
pub fn seeded_builder(seed: u64) -> arbtest::Builder {
    arbtest::builder().seed(seed)
}

/// Run a state machine test as a `#[test]`.
///