Share via

PexSettingsAttributeBase.MaxRuns Property

  • Reference

Definition

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

A named parameter that specifies maximum number of runs that will be tried during an exploration.

public:
 property int MaxRuns { int get(); void set(int value); };
[System.ComponentModel.Category("Boundaries")]
[System.ComponentModel.DefaultValue(1000)]
[System.ComponentModel.Description("Maximum number of runs that will be tried during an exploration")]
public int MaxRuns { get; set; }
[<System.ComponentModel.Category("Boundaries")>]
[<System.ComponentModel.DefaultValue(1000)>]
[<System.ComponentModel.Description("Maximum number of runs that will be tried during an exploration")>]
member this.MaxRuns : int with get, set
Public Property MaxRuns As Integer

Property Value

Int32

The maximum number of runs.

Attributes
CategoryAttribute DefaultValueAttribute DescriptionAttribute

Applies to