PexSymbolicValue Class
Definition
Important
Some information relates to prerelease product that may be substantially modified before it’s released. Microsoft makes no warranties, express or implied, with respect to the information provided here.
Helper functions to deal with symbolic inputs
public ref class PexSymbolicValue abstract sealed[__DoNotInstrument]
public static class PexSymbolicValue[<__DoNotInstrument>]
type PexSymbolicValue = classPublic 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. |