Closed romanofski closed 9 years ago
With the improvements for the graph, the slicing should now use a search criterion and not simply a line number anymore.
This is done. Implemented in bedd97b2335a3e5832a3dfbf9fe16bf009ea6496 and since refined.
With the improvements for the graph, the slicing should now use a search criterion and not simply a line number anymore.