Pex - Automated Whitebox Testing for .NET : Symbols And Sources

Symbols And Sources

Pex uses symbols and sources in various situations so it is important to set up correctly the symbol path and sources through the command line. In Visual Studio, Pex picks up the symbol information from the Visual Studio symbol options.


symsrv.dll in the path (install debuggers from  )

Symbol Server

Pex uses the Mdbg  SymbolStore, which itself calls symsrv.dll. This means that the usual syntax to set up symbol servers can be used in the Pex command line:

pex /sympath:srv*c:\symbols*


  • Pex understands _NT_SOURCE_PATH and _NT_SYMBOL_PATH.
(c) Microsoft Corporation. All rights reserved. pex Wiki Documentation 0.93.50813.0