Share via

PexSettingsAttributeBase.MaxConditions Property

  • Reference

Definition

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

A named parameter that specifies the maximum number of conditions over the inputs that can be checked during a single execution path.

public:
 property int MaxConditions { int get(); void set(int value); };
[System.ComponentModel.Category("Boundaries")]
[System.ComponentModel.DefaultValue(500)]
[System.ComponentModel.Description("Maximum number of conditions over the inputs that may be checked during a single execution path")]
public int MaxConditions { get; set; }
[<System.ComponentModel.Category("Boundaries")>]
[<System.ComponentModel.DefaultValue(500)>]
[<System.ComponentModel.Description("Maximum number of conditions over the inputs that may be checked during a single execution path")>]
member this.MaxConditions : int with get, set
Public Property MaxConditions As Integer

Property Value

Int32

The maximum conditions that can be checked during a single execution path.

Attributes
CategoryAttribute DefaultValueAttribute DescriptionAttribute

Applies to