TestReport.MinOperationGroupingDegree property
The minimum degree of operation grouping.
public int MinOperationGroupingDegree { get; }
See Also
- class TestReport
- namespace Microsoft.Coyote.SystematicTesting
- assembly Microsoft.Coyote.Test
The minimum degree of operation grouping.
public int MinOperationGroupingDegree { get; }