Method next_state

fendermint/testing/src/smt.rs:278–286

(&self, cmd: &Self::Command, state: Self::State)

        }

        fn next_state(&self, cmd: &Self::Command, state: Self::State) -> Self::State {
            use CounterCommand::*;
            match cmd {
                Inc => state + 1,
                Dec => state - 1,
                Reset => 0,
                Get => state,
            }
        }

        fn check_system(
            &self,