Slicing with a criteria
Closed this issue · 1 comments
romanofski commented
With the improvements for the graph, the slicing should now use a search criterion and not simply a line number anymore.
romanofski commented
This is done. Implemented in bedd97b and since refined.