IRuntimeExtension.GetCoverageInfo method

Returns the extended CoverageInfo.

public CoverageInfo GetCoverageInfo()

See Also

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