Microsoft.Coyote.Coverage namespace

public type description
class ActorRuntimeLogGraphBuilder Implements the IActorRuntimeLog and builds a directed graph from the recorded events and state transitions.
class CoverageInfo Class for storing 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.