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.

Prequisites


symsrv.dll in the path (install debuggers from http://www.microsoft.com/whdc/devtools/debugging/debugstart.mspx  )

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*http://msdl.microsoft.com/download/symbols

Tips


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