ActorTestKit<T>.AssertStateTransition method (1 of 2)

If the actor is a state machine, asserts that the state machine has transitioned to the state with the specified name (either FullName or Name).

public void AssertStateTransition(string stateName)

parameter	description
stateName	The name of the state.

See Also

• class ActorTestKit<T>
• namespace Microsoft.Coyote.Actors.UnitTesting
• assembly Microsoft.Coyote.Actors

---

ActorTestKit<T>.AssertStateTransition<TState> method (2 of 2)

If the actor is a state machine, this asserts that the state machine has transitioned to the state with the specified type T.

public void AssertStateTransition<TState>()
    where TState : State

parameter	description
TState	The type of the state.

See Also

• class State
• class ActorTestKit<T>
• namespace Microsoft.Coyote.Actors.UnitTesting
• assembly Microsoft.Coyote.Actors