Pex - Automated Whitebox Testing for .NET
: Microsoft.ExtendedReflection.Interpretation
This namespace contains an abstract model of the data-manipulating operations of the CLR, where all values are tracked as
terms
.
Concepts:
TermManager
State
InstructionInterpreter
This namespace also contains visitors and pretty-printers for terms.
(c) Microsoft Corporation. All rights reserved.
pex Wiki Documentation
0.93.50813.0