Partager via

PexSettingsAttributeBase.MaxConstraintSolverMemory Property

  • Reference

Definition

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

A named parameter that specifies the constraint solver's memory limit.

public:
 property int MaxConstraintSolverMemory { int get(); void set(int value); };
[System.ComponentModel.Category("Boundaries")]
[System.ComponentModel.DefaultValue(256)]
[System.ComponentModel.Description("Constraint solver memory limit, in MB")]
public int MaxConstraintSolverMemory { get; set; }
[<System.ComponentModel.Category("Boundaries")>]
[<System.ComponentModel.DefaultValue(256)>]
[<System.ComponentModel.Description("Constraint solver memory limit, in MB")>]
member this.MaxConstraintSolverMemory : int with get, set
Public Property MaxConstraintSolverMemory As Integer

Property Value

Int32

The constraint solver's memory limit, in MB.

Attributes
CategoryAttribute DefaultValueAttribute DescriptionAttribute

Applies to