PexExplorationAttributeBase Class
Abstract base class for exploration attributes.
Assembly: Microsoft.Pex.Framework (in Microsoft.Pex.Framework.dll)
| Name | Description | |
|---|---|---|
![]() | PexExplorationAttributeBase() |
| Name | Description | |
|---|---|---|
![]() | ActiveSettings | Gets the list of settings name that have been set(Inherited from PexSettingsStoreAttributeBase.) |
![]() | Categories | A named parameter that specifies the fixture categories.(Inherited from PexSettingsAttributeBase.) |
![]() | ContainsSettings | Gets a value indicating whether this instance has settings that have been set.(Inherited from PexSettingsStoreAttributeBase.) |
![]() | DisableObservableAssertions | A named parameter that specifies whether observed values should not be asserted(Inherited from PexSettingsAttributeBase.) |
![]() | DisablePostAnalysis | A named parameter that specifies whether to disable the post analysis.(Inherited from PexSettingsAttributeBase.) |
![]() | IncludeNonFinalSegmentCoverage | A named parameter that specifies whether Pex should include non-final segment coverage in coverage reports and when deciding whether to emit tests.(Inherited from PexSettingsAttributeBase.) |
![]() | MaxBranches | A named parameter that specifies the maximum number of branches that can be taken along a single execution path.(Inherited from PexSettingsAttributeBase.) |
![]() | MaxCalls | A named parameter that specifies the maximum number of method calls during an exploration.(Inherited from PexSettingsAttributeBase.) |
![]() | MaxConditions | A named parameter that specifies the maximum number of conditions over the inputs that can be checked during a single execution path.(Inherited from PexSettingsAttributeBase.) |
![]() | MaxConstraintSolverMemory | A named parameter that specifies the constraint solver's memory limit.(Inherited from PexSettingsAttributeBase.) |
![]() | MaxConstraintSolverTime | A named parameter that specifies the constraint solver's time out value.(Inherited from PexSettingsAttributeBase.) |
![]() | MaxExceptions | A named parameter that specifies the maximum number of new exceptions before stopping.(Inherited from PexSettingsAttributeBase.) |
![]() | MaxExecutionTreeNodes | A named parameter that specifies the maximum number of execution tree nodes.(Inherited from PexSettingsAttributeBase.) |
![]() | MaxRuns | A named parameter that specifies maximum number of runs that will be tried during an exploration.(Inherited from PexSettingsAttributeBase.) |
![]() | MaxRunsWithoutNewTests | A named parameter that specifies the maximum number of .(Inherited from PexSettingsAttributeBase.) |
![]() | MaxRunsWithUniquePaths | A named parameter that specifies the maximum number of runs that Pex will attempt which result in distinct execution paths.(Inherited from PexSettingsAttributeBase.) |
![]() | MaxSequenceLength | A named parameter that specifies maximum number of method calls that can be performed to construct an object of a given type.(Inherited from PexSettingsAttributeBase.) |
![]() | MaxStack | A named parameter that specifies the maximum stack size during an exploration(Inherited from PexSettingsAttributeBase.) |
![]() | MaxWorkingSet | A named parameter that specifies the maximum working set.(Inherited from PexSettingsAttributeBase.) |
![]() | NoSoftSubstitutions | Experimental.(Inherited from PexSettingsAttributeBase.) |
![]() | NotReproducible | A named parameter that specifies whether generated tests are not reproducible(Inherited from PexSettingsAttributeBase.) |
![]() | ObserveChoices | A value that indicates whether choices should be observed in the parameter table.(Inherited from PexSettingsAttributeBase.) |
![]() | Owner | Owners for the generated tests if any and if supported by the test framework.(Inherited from PexSettingsAttributeBase.) |
![]() | Priority | The priority of the generated tests if supported by the test framework(Inherited from PexSettingsAttributeBase.) |
![]() | SupportedPlatform | Specifies the supported bitness for this test. |
![]() | TestClassName | A named parameter that specifies the format string for the the test class name.(Inherited from PexSettingsAttributeBase.) |
![]() | TestEmissionBranchHits | A named parameter that specifies whether Pex can emit a new test case if the branch coverage increases, considering how often branches have been hit, capped by this option.(Inherited from PexSettingsAttributeBase.) |
![]() | TestEmissionFilter | A named parameter that specifies grounds on which Pex should generate test cases.(Inherited from PexSettingsAttributeBase.) |
![]() | TestExcludePathBoundsExceeded | A named parameter that specifies whether to ignore execution paths that exceed MaxCalls, MaxBranches or MaxConditions.(Inherited from PexSettingsAttributeBase.) |
![]() | ThreadApartmentState | A named parameter that specifies in which apartment state the test thread should be.(Inherited from PexSettingsAttributeBase.) |
![]() | Timeout | A named parameter that specifies the exploration time out value.(Inherited from PexSettingsAttributeBase.) |
![]() | TypeId | (Inherited from Attribute.) |
| Name | Description | |
|---|---|---|
![]() ![]() | _Attribute::GetIDsOfNames(Guid, IntPtr, UInt32, UInt32, IntPtr) | (Inherited from Attribute.) |
![]() ![]() | _Attribute::GetTypeInfo(UInt32, UInt32, IntPtr) | (Inherited from Attribute.) |
![]() ![]() | _Attribute::GetTypeInfoCount(UInt32) | (Inherited from Attribute.) |
![]() ![]() | _Attribute::Invoke(UInt32, Guid, UInt32, Int16, IntPtr, IntPtr, IntPtr, IntPtr) | (Inherited from Attribute.) |
Any public static (Shared in Visual Basic) members of this type are thread safe. Any instance members are not guaranteed to be thread safe.




