TestReport.MaxUnfairStepsHitInUnfairTests property

Number of times the unfair max steps bound was hit in unfair tests.

public int MaxUnfairStepsHitInUnfairTests { get; }

See Also

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