Patent ID: 7890935

Claim:
A method for performing thread-specific display of breakpoints, said method comprising: presenting a graphical user interface of a verification environment, the user interface including a plurality of panes including a source display pane and a threads display pane; presenting source code of a software module undergoing execution by a debugger within the source display pane, the software module including a plurality of threads; presenting within the source display pane a visual breakpoint indicator indicating a location of a first breakpoint in the source code; presenting the plurality of threads of the software module in the threads display pane of the user interface; in response to selection via the threads display pane of a current thread among the plurality of threads, determining whether the first breakpoint can be reached by execution of the current thread; and performing thread-specific display of breakpoints by: in response to determining that said first breakpoint cannot be reached by execution of said current thread, graphically indicating in one of the plurality of panes other than the source display pane that said first breakpoint cannot be reached by execution of said current thread; and in response to determining that said first breakpoint can be reached by execution of said current thread, graphically indicating that the first breakpoint can be reached by execution of the current thread.