Microsoft.Coyote.Coverage namespace

public type	description
class CoverageGraph	A directed graph made up of Node and Link objects.
class CoverageInfo	Class for storing coverage-specific data across multiple test iterations.
class MonitorEventCoverage	This class maintains information about events received in each state of each specification monitor.