Function run

fendermint/testing/src/smt.rs:62–80

Run a state machine test by generating `max_steps` commands. It is expected to panic if some post condition fails.

(
    u: &mut Unstructured,
    t: &T,
    max_steps: usize,
)

///
/// It is expected to panic if some post condition fails.
pub fn run<T: StateMachine>(
    u: &mut Unstructured,
    t: &T,
    max_steps: usize,
) -> arbitrary::Result<()> {
    let mut state = t.gen_state(u)?;
    let mut system = t.new_system(&state);
    for _ in 0..max_steps {
        ensure_has_randomness(u)?;
        let cmd = t.gen_command(u, &state)?;
        let res = t.run_command(&mut system, &cmd);
        t.check_result(&cmd, &state, res);
        state = t.next_state(&cmd, state);
        if !t.check_system(&cmd, &state, &system) {
            break;
        }
    }
    Ok(())
}

/// Once we run out of randomness, most of the arbitrary data generated by it will
/// be zeroes, which is is not very realistic. Calling this method can highlight