TestReport.TotalExploredUnfairSteps property

The total explored scheduling steps (across all testing iterations) in unfair tests.

public int TotalExploredUnfairSteps { get; }

See Also

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