Compartir a través de

PexSymbolicValue.Minimize Method

  • Reference

Definition

Namespace:
Microsoft.Pex.Framework
Assembly:
Microsoft.Pex.Framework.dll

Overloads

Minimize(Int32)

Instruct IntelliTest to minimize a particular value.
Minimize(Int64)

Instruct IntelliTest to minimize a particular value.
Minimize(UInt32)

Instruct IntelliTest to minimize a particular value.
Minimize(UInt64)

Instruct IntelliTest to minimize a particular value.

Minimize(Int32)

Instruct IntelliTest to minimize a particular value.

public:
 static void Minimize(int number);
public static void Minimize (int number);
static member Minimize : int -> unit
Public Shared Sub Minimize (number As Integer)

Parameters

number
Int32

Applies to

Minimize(Int64)

Instruct IntelliTest to minimize a particular value.

public:
 static void Minimize(long number);
public static void Minimize (long number);
static member Minimize : int64 -> unit
Public Shared Sub Minimize (number As Long)

Parameters

number
Int64

Applies to

Minimize(UInt32)

Instruct IntelliTest to minimize a particular value.

public:
 static void Minimize(System::UInt32 number);
public static void Minimize (uint number);
static member Minimize : uint32 -> unit
Public Shared Sub Minimize (number As UInteger)

Parameters

number
UInt32

Applies to

Minimize(UInt64)

Instruct IntelliTest to minimize a particular value.

public:
 static void Minimize(System::UInt64 number);
public static void Minimize (ulong number);
static member Minimize : uint64 -> unit
Public Shared Sub Minimize (number As ULong)

Parameters

number
UInt64

Applies to