Microsoft.Coyote.Actors.Coverage namespace

public type	description
class ActorCoverageInfo	Class for storing actor coverage-specific data across multiple testing iterations.
class ActorEventCoverage	This class maintains information about events received and sent from each state of each actor.