TestReport.MaxExploredUnfairSteps property
The max explored execution steps in unfair tests.
public int MaxExploredUnfairSteps { get; }
See Also
- class TestReport
- namespace Microsoft.Coyote.SystematicTesting
- assembly Microsoft.Coyote.Test
The max explored execution steps in unfair tests.
public int MaxExploredUnfairSteps { get; }