Pex - Automated Whitebox Testing for .NET : PexSettingsAttributeBase

PexSettingsAttributeBase


This is the abstract base class for settings attributes. See Settings Waterfall for an overview of settings in Pex.

You can modify the following settings using named properties of this and its derived attributes:

[PexClass(MaxRuns = 10)]
public partial class FooTest {...}

Constraint solving bounds


Exploration Path Bounds

  • MaxBranches - Maximum number of branches that may be taken along a single execution path
  • MaxCalls - Maximum number of calls that may be taken during a single execution path
  • MaxStack - Maximum size of the stack at any time during a single execution path, measured in number of active call frames
  • MaxConditions - Maximum number of conditions over the inputs that may be checked during a single execution path

Exploration Bounds

  • MaxRuns - Maximum number of runs that will be tried during an exploration
  • MaxRunsWithoutNewTests - Maximum number of consecutive runs without a new test being emitted
  • MaxRunsWithUniquePaths - Maximum number of runs with unique execution paths that will be tried during an exploration
  • MaxExceptions - Maximum number of exceptions that may be found over all discovered execution paths combined
  • MaxExecutionTreeNodes - Maximum number of conditions over the inputs that may be checked during all discovered execution paths combined
  • MaxWorkingSet - Maximum size of working set in megabytes
  • TimeOut - Seconds after which exploration stops

Test Suite Code Generation Settings

cases which are marked as disabled

The following attributes derive from PexSettingsAttribute:
(c) Microsoft Corporation. All rights reserved. pex Wiki Documentation 0.93.50813.0