Compartilhar via

PexSettingsAttributeBase.IncludeNonFinalSegmentCoverage Property

  • Reference

Definition

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

A named parameter that specifies whether IntelliTest should include non-final segment coverage in coverage reports and when deciding whether to emit tests.

public:
 property bool IncludeNonFinalSegmentCoverage { bool get(); void set(bool value); };
[System.ComponentModel.Category("Coverage")]
[System.ComponentModel.DefaultValue(false)]
[System.ComponentModel.Description("whether IntelliTest should include non-final segment coverage into coverage reports, and when deciding whether to emit tests")]
public bool IncludeNonFinalSegmentCoverage { get; set; }
[<System.ComponentModel.Category("Coverage")>]
[<System.ComponentModel.DefaultValue(false)>]
[<System.ComponentModel.Description("whether IntelliTest should include non-final segment coverage into coverage reports, and when deciding whether to emit tests")>]
member this.IncludeNonFinalSegmentCoverage : bool with get, set
Public Property IncludeNonFinalSegmentCoverage As Boolean

Property Value

Boolean

Set this value to true to include non-final segment coverage and false otherwise.

Attributes
CategoryAttribute DefaultValueAttribute DescriptionAttribute

Applies to