Microsoft.Coyote.Actors.UnitTesting namespace

public type	description
class ActorTestKit<T>	Provides methods for testing an actor of type T in isolation.