TestReport.NumOfExploredUnfairPaths property
Number of explored unfair execution paths.
public int NumOfExploredUnfairPaths { get; }
See Also
- class TestReport
- namespace Microsoft.Coyote.SystematicTesting
- assembly Microsoft.Coyote.Test
Number of explored unfair execution paths.
public int NumOfExploredUnfairPaths { get; }