Share via

PexSettingsAttributeBase.MaxStack Property

  • Reference

Definition

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

A named parameter that specifies the maximum stack size during an exploration

public:
 property int MaxStack { int get(); void set(int value); };
[System.ComponentModel.Category("Boundaries")]
[System.ComponentModel.DefaultValue(100)]
[System.ComponentModel.Description("Maximum size of stack (in number of frames) during an exploration")]
public int MaxStack { get; set; }
[<System.ComponentModel.Category("Boundaries")>]
[<System.ComponentModel.DefaultValue(100)>]
[<System.ComponentModel.Description("Maximum size of stack (in number of frames) during an exploration")>]
member this.MaxStack : int with get, set
Public Property MaxStack As Integer

Property Value

Int32

The maximum stack size.

Attributes
CategoryAttribute DefaultValueAttribute DescriptionAttribute

Applies to