Share via

PexSettingsAttributeBase.MaxSequenceLength Property

  • Reference

Definition

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

A named parameter that specifies maximum number of method calls that can be performed to construct an object of a given type.

public:
 property int MaxSequenceLength { int get(); void set(int value); };
[System.ComponentModel.Category("Boundaries")]
[System.ComponentModel.DefaultValue(2)]
[System.ComponentModel.Description("Maximum number of method calls that may be performed to construct an object of a given type; only applies when no custom exploration strategy is configured")]
public int MaxSequenceLength { get; set; }
[<System.ComponentModel.Category("Boundaries")>]
[<System.ComponentModel.DefaultValue(2)>]
[<System.ComponentModel.Description("Maximum number of method calls that may be performed to construct an object of a given type; only applies when no custom exploration strategy is configured")>]
member this.MaxSequenceLength : int with get, set
Public Property MaxSequenceLength As Integer

Property Value

Int32

The maximmum number of method calls.

Attributes
CategoryAttribute DefaultValueAttribute DescriptionAttribute

Remarks

This parameter applies only when no custom exploration strategy is configured.

Applies to