IRuntimeExtension.BuildCoverageInfo method

Builds the extended CoverageInfo.

public CoverageInfo BuildCoverageInfo()

Remarks

This information is only available when IsActivityCoverageReported is enabled.

See Also

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