Information
The topic you requested is included in another documentation set. For convenience, it's displayed below. Choose Switch to see the topic in its original location.

PexSymbolicValue::Minimize Method (UInt32)

 

Instruct Pex to minimize a particular value.

Namespace:   Microsoft.Pex.Framework
Assembly:  Microsoft.Pex.Framework (in Microsoft.Pex.Framework.dll)

public:
static void Minimize(
	unsigned int number
)

Parameters

number
Type: System::UInt32

Return to top
Show: