Partager via

CoverageDynamicTraversal.transitionCoverageCounterDict Field

  • Article

Dictionary stores transition coverage information.

Namespace: Microsoft.SpecExplorer.DynamicTraversal
Assembly: Microsoft.SpecExplorer.DynamicTraversal (in Microsoft.SpecExplorer.DynamicTraversal.dll)

Usage

'Usage

Syntax

'Declaration

protected Dictionary<Transition,int> transitionCoverageCounterDict

Platforms

Development Platforms

Microsoft Windows 7, Microsoft Windows Vista, Microsoft Windows XP SP2 or later, Microsoft Windows Server 2008, Microsoft Windows Server 2003

See Also

Reference

CoverageDynamicTraversal Class
CoverageDynamicTraversal Members
Microsoft.SpecExplorer.DynamicTraversal Namespace