ActorTestKit<T>.AssertIsWaitingToReceiveEvent method
Asserts that the actor is waiting (or not) to receive an event.
public void AssertIsWaitingToReceiveEvent(bool isWaiting)
See Also
- class ActorTestKit<T>
- namespace Microsoft.Coyote.Actors.UnitTesting
- assembly Microsoft.Coyote.Actors