通过

PexSettingsAttributeBase.DisablePostAnalysis Property

  • Reference

Definition

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

A named parameter that specifies whether to disable the post analysis.

public:
 property bool DisablePostAnalysis { bool get(); void set(bool value); };
[System.ComponentModel.Category("Experimental")]
[System.ComponentModel.DefaultValue(false)]
[System.ComponentModel.Description("Whether the post analysis should be disabled")]
public bool DisablePostAnalysis { get; set; }
[<System.ComponentModel.Category("Experimental")>]
[<System.ComponentModel.DefaultValue(false)>]
[<System.ComponentModel.Description("Whether the post analysis should be disabled")>]
member this.DisablePostAnalysis : bool with get, set
Public Property DisablePostAnalysis As Boolean

Property Value

Boolean

Set to true to disable the post analysis and false otherwise.

Attributes
CategoryAttribute DefaultValueAttribute DescriptionAttribute

Applies to