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.
in the path (install debuggers from http://www.microsoft.com/whdc/devtools/debugging/debugstart.mspx
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 understands _NT_SOURCE_PATH and _NT_SYMBOL_PATH.