Compartilhar via

PexSettingsAttributeBase.TestEmissionBranchHits Property

  • Reference

Definition

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

A named parameter that specifies whether IntelliTest can emit a new test case if the branch coverage increases, considering how often branches have been hit, capped by this option.

public:
 property int TestEmissionBranchHits { int get(); void set(int value); };
[System.ComponentModel.DefaultValue(2)]
[System.ComponentModel.Description("A new test case may be emitted if the branch coverage increases, considering how often branches have been hit, capped by this option.")]
public int TestEmissionBranchHits { get; set; }
[<System.ComponentModel.DefaultValue(2)>]
[<System.ComponentModel.Description("A new test case may be emitted if the branch coverage increases, considering how often branches have been hit, capped by this option.")>]
member this.TestEmissionBranchHits : int with get, set
Public Property TestEmissionBranchHits As Integer

Property Value

Int32

The max branch hits.

Attributes
DefaultValueAttribute DescriptionAttribute

Applies to