Pex - Automated Whitebox Testing for .NET : MaxBranches

MaxBranches - Maximum number of branches that may be taken along a single execution path


This is an option of the PexSettingsAttributeBase and its derived types.

The motivation behind this exploration bound is to limit the length of any execution path that Pex explores during Input Generation. In particular, it prevents Pex from getting stuck when the program goes into an infinite loop.

Each conditional and unconditional branch of the executed and monitored code is counted towards this limit,
including branches which do not depend on the inputs of the parameterized test.

For example, the following code consumes branches in the order of 100:
for (int i=0; i<100; i++) { }
(c) Microsoft Corporation. All rights reserved. pex Wiki Documentation 0.93.50813.0