TestReport.MaxExploredFairSteps property

The max explored execution steps in fair tests.

public int MaxExploredFairSteps { get; }

See Also

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