The Symbol Misc tab allows you to set miscellaneous symbol settings.

 

 

 

 

Immediate or deferred symbol loading

 

When converting program addresses to symbol names, you can choose immediate symbol loading, or defer loading until each symbol is needed.

 

•Use deferred symbol loading uses deferred symbol loading rather than 'all at once' (on by default)

 

Microsoft® recommend deferred symbol loading, claiming it is the fastest option. We give you the choice.

 

 

Symbol Reader Logging

 

Symbols are fetched from symbol servers using a helper process svlDbgHelpSymbolReader.exe. We log the command line and behaviour of this helper tool. This is displayed on the diagnostic tab.

 

If you wish the log files can be kept for later analysis. By default this option is turned off.

 

•Keep svlDbgHelpSymbolReader log files keep the log files after Coverage Validator has finished processing them

 

The path to the directory containing the log files is shown.

 

•Clean delete all svlDbgHelpSymbolReader log files

 

 

Reset All - Resets all global settings, not just those on the current page.

 

 

Reset - Resets the settings on the current page.