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 (UInt64)

 

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 long long number
)

Parameters

number
Type: System::UInt64

Return to top
Show: