Share via

PexSettingsAttributeBase.TestEmissionFilter Property

  • Reference

Definition

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

A named parameter that specifies grounds on which IntelliTest should generate test cases.

public:
 property Microsoft::Pex::Framework::Settings::PexTestEmissionFilter TestEmissionFilter { Microsoft::Pex::Framework::Settings::PexTestEmissionFilter get(); void set(Microsoft::Pex::Framework::Settings::PexTestEmissionFilter value); };
[System.ComponentModel.Category("Tests")]
[System.ComponentModel.DefaultValue(Microsoft.Pex.Framework.Settings.PexTestEmissionFilter.FailuresAndIncreasedBranchHitsIncludedOrExcluded)]
[System.ComponentModel.Description("which test cases IntelliTest should emit")]
public Microsoft.Pex.Framework.Settings.PexTestEmissionFilter TestEmissionFilter { get; set; }
[<System.ComponentModel.Category("Tests")>]
[<System.ComponentModel.DefaultValue(Microsoft.Pex.Framework.Settings.PexTestEmissionFilter.FailuresAndIncreasedBranchHitsIncludedOrExcluded)>]
[<System.ComponentModel.Description("which test cases IntelliTest should emit")>]
member this.TestEmissionFilter : Microsoft.Pex.Framework.Settings.PexTestEmissionFilter with get, set
Public Property TestEmissionFilter As PexTestEmissionFilter

Property Value

PexTestEmissionFilter

Which test cases IntelliTest should emit.

Attributes
CategoryAttribute DefaultValueAttribute DescriptionAttribute

Applies to