The Symbol Misc tab allows you to set miscellaneous symbol settings.
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.
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 Bug 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.