PexAssemblySettingsAttribute.RequiredDynamicCoveragePercentile Property

  • Reference

Definition

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

Gets or sets the required coverage percentile.

public:
 property int RequiredDynamicCoveragePercentile { int get(); void set(int value); };
[System.ComponentModel.Category("Coverage")]
[System.ComponentModel.DefaultValue(70)]
[System.ComponentModel.Description("Minimum code coverage percentile to estimate that a piece of code is sufficiently covered")]
public int RequiredDynamicCoveragePercentile { get; set; }
[<System.ComponentModel.Category("Coverage")>]
[<System.ComponentModel.DefaultValue(70)>]
[<System.ComponentModel.Description("Minimum code coverage percentile to estimate that a piece of code is sufficiently covered")>]
member this.RequiredDynamicCoveragePercentile : int with get, set
Public Property RequiredDynamicCoveragePercentile As Integer

Property Value

Int32

The required coverage percentile.

Attributes
CategoryAttribute DefaultValueAttribute DescriptionAttribute

Applies to