Freigeben über


PexSymbolicValue Class

Definition

Helper functions to deal with symbolic inputs

public ref class PexSymbolicValue abstract sealed
[__DoNotInstrument]
public static class PexSymbolicValue
[<__DoNotInstrument>]
type PexSymbolicValue = class
Public Class PexSymbolicValue
Inheritance
PexSymbolicValue
Attributes
__DoNotInstrumentAttribute

Remarks

DOT NOT INSTRUMENT THIS CLASS

Methods

Derive<TFormula>(TFormula, Double)

Computes the derivative of formula with respect to variable

GetPathConditionString()

Gets a textual representation of the path condition at this point.

GetRawPathConditionString()

Gets a textual representation of the path condition at this point.

GetRelevantInputNames<T>(T)

Gets a textual representation of inputs directly or indirect affecting the given value.

Ignore<T>(T)

Forgets all constraints associated with passed value

IgnoreComputation(PexSymbolicValue+Action)

Performs a given action, but forgets all constraints associated with the computation.

IgnoreComputation<T>(PexSymbolicValue.Function<T>)

Evaluates a given function, but forgets all constraints associated with the computation of the result.

IgnoreEnumeration<T>(IEnumerable<T>)

Forgets all constraints associated with the enumeration

IsSymbolic<T>(T)

Checks whether the given value has any symbolic information attached to it. In other words, it checks whether the value was derived from the test inputs. Note that this check only applies to the given value itself, and not to its fields if it is an object

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.

ToRawString<T>(T)

Turns a value into a string that represents the symbolic value.

ToString<T>(T)

Turns a value into a string that represents the symbolic value.

Applies to