PexSettingsAttributeBase.MaxExecutionTreeNodes Property

Definition

A named parameter that specifies the maximum number of execution tree nodes.

C++
public:
 property int MaxExecutionTreeNodes { int get(); void set(int value); };

Property Value

The maximum number of nodes.

Attributes

Applies to

Produit Versions
Visual Studio SDK 2017, 2019