Microsoft.Coyote.Actors.Coverage namespace

public type description
class CoverageInfo Class for storing actor coverage-specific data across multiple testing iterations.
class EventCoverage This class maintains information about events received and sent from each state of each actor.
class Graph A directed graph made up of Nodes and Links.
class GraphLink A Link represents a directed graph connection between two Nodes.
class GraphNode A Node of a Graph.
class GraphObject A Node of a Graph.