Using the Source Code Pane
Use the Source Code pane to determine the origin of each line of code in the path to a rule violation.
As you step through the code elements in the Trace Tree pane, the cursor in the Source Code pane automatically moves to the originating line of code, switching quickly between files as necessary. To determine which file is being displayed, find the file name on the topmost tab in the Source Code pane, or use the color coding as a visual cue.
To determine the effect of a line of executed driver source code on the state of the verification or on the trace, first click that line of code in the Source Code pane so that the code elements from that line are highlighted in the Trace Tree pane. Next, use the Trace Tree pane to step through the lines of code that follow it, while watching for changing values in the State Pane.
To find the functions that SDV is monitoring for the rule and identify actions that might change the values in the State Pane, you can read the rule source code (RuleName.slic) files in the Source Code pane.
You can use the Source Code pane to read any file, but the cursor steps through the code line by line; not in the order of execution.
You can also copy the code from any tab of the Source Code pane and paste it into an application that supports rich text format (RTF) files, such as Microsoft Word or WordPad. To copy the code, from the Edit menu, select Select All and then, from the Edit menu, select Copy. Or, press CTRL+A (select all) and then CTRL+C (copy).