Microsoft.Pex.Engine.InputEnumeration Namespace

Classes

PexInputEnumeratorBase.InputModelBuilder

This class provides infrastructure to (symbolically) execute a test method in order to determine the vales that will be passed to the exploration method.