TestReport.TotalOperationGroupingDegree property

The total degree of operation grouping (across all testing iterations).

public int TotalOperationGroupingDegree { get; }

See Also

• class TestReport
• namespace Microsoft.Coyote.SystematicTesting
• assembly Microsoft.Coyote.Test