Share via

PexSettingsAttributeBase.MaxRunsWithUniquePaths Property

  • Reference

Definition

Namespace:
Microsoft.Pex.Framework.Settings
Assembly:
Microsoft.Pex.Framework.dll

A named parameter that specifies the maximum number of runs that IntelliTest will attempt which result in distinct execution paths.

public:
 property int MaxRunsWithUniquePaths { int get(); void set(int value); };
[System.ComponentModel.Category("Boundaries")]
[System.ComponentModel.DefaultValue(2147483647)]
[System.ComponentModel.Description("Maximum number of unique paths that will be considered")]
public int MaxRunsWithUniquePaths { get; set; }
[<System.ComponentModel.Category("Boundaries")>]
[<System.ComponentModel.DefaultValue(2147483647)>]
[<System.ComponentModel.Description("Maximum number of unique paths that will be considered")>]
member this.MaxRunsWithUniquePaths : int with get, set
Public Property MaxRunsWithUniquePaths As Integer

Property Value

Int32

The maximum number of distinct paths.

Attributes
CategoryAttribute DefaultValueAttribute DescriptionAttribute

Remarks

If the program is non-deterministic, or IntelliTest cannot capture all constraints, some runs may follow the same execution paths.

Applies to