Diagnostic logging for Dynamic Verifier is off by default. When you enable dynamic verifier logging, it exports the logging information to an Intelligent Capture V_ log file.
To turn logging on, complete the following steps.
- Open the <project>.ini file.
- Add GRL_OP_DynamicDebug and set to YES.
- Save the changes.