Context Navigation

Changes between Version 12 and Version 13 of path:pathBrowser

v12	v13
36	36	Fifth pane (on the right side):: This pane displays all test cases that cover the selected method in the fourth pane (left side). With a click on a test case, developers can open a new browser with the corresponding test, a symbolic debugger, or our lightweight back-in-time debugger [wiki:path:pathFinder PathFinder]. While the symbolic debugger sets a breakpoint in the corresponding method, run the chosen test case, and starts the debugger at the covered point in time. Our !PathFinder analyzes the entire test case execution and highlights all occurrences of the chosen method within this behavior.
37	37
38		Buttons (inv, pre, post) below class pane respectively method pane:: ~~XXX inv/pre/post -- contracts & anzeige im browser fenster~~
	38	Buttons (inv, pre, post) below class pane respectively method pane:: If contracts are available, these buttons allow developers to explore the generated assertions for class invariants, method pre- and method post-conditions. Developers can also change the corresponding source code and write their own assertions. However, please be careful. !PathMap's contract generation will override or remove these manual statements within the next run.
39	39
40	40	''Coverage'' button:: XXX new buttons coverage (underlined statements),