Pex - Automated Whitebox Testing for .NET : Code Substitutions

Code Substitutions

Some methods are problematic for Pex' symbolic analysis:
  • methods implemented by native code (x86, X64)
  • method calls going through remoting
  • managed code which is not instrumented (e.g. some parts of mscorlib cannot be instrumented)

The Microsoft.ExtendedReflection library has several ways to deal with this problem.

(c) Microsoft Corporation. All rights reserved. pex Wiki Documentation 0.93.50813.0