Method gen_command

fendermint/testing/src/smt.rs:256–259

(&self, u: &mut Unstructured, _state: &Self::State)

        }

        fn gen_command(&self, u: &mut Unstructured, _state: &Self::State) -> Result<Self::Command> {
            use CounterCommand::*;
            u.choose(&[Get, Inc, Dec, Reset])
        }

        fn run_command(&self, system: &mut Self::System, cmd: &Self::Command) -> Self::Result {
            use CounterCommand::*;