IRuntimeExtension.GetCoverageGraph method

Returns the CoverageGraph of the current execution.

public CoverageGraph GetCoverageGraph()

See Also

• class CoverageGraph
• interface IRuntimeExtension
• namespace Microsoft.Coyote.Runtime
• assembly Microsoft.Coyote