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:



This namespace also contains visitors and pretty-printers for terms.
(c) Microsoft Corporation. All rights reserved. pex Wiki Documentation 0.93.50813.0