Feature request: Click on C pane to go to next instance in the log pane

[etsal]

For unbounded loops it is useful to see how often the instruction shows up in the verifier log. Can we add make it so that clicking on a line of C code iterates through all the instances of the line in the verifier log?

Example log where this would be useful: asan.log

[jordalgo]

@etsal Clicking on the line of C code already highlights all instances of the loop in the main log view. When you say iterate, do you mean something like auto scrolling through all the instances?

Maybe we need something like the arrows and tracks we use for register dependencies so you can easily jump to next instances - or a "loop view" that allows you to easily navigate loop instances and see differences between them.

[etsal]

@etsal Clicking on the line of C code already highlights all instances of the loop in the main log view. When you say iterate, do you mean something like auto scrolling through all the instances?

Exactly, some way of jumping from one instance to another. Some logs are extremely large so highlighting does not help because most relevant fragments are not on the screen.

Maybe we need something like the arrows and tracks we use for register dependencies so you can easily jump to next instances - or a "loop view" that allows you to easily navigate loop instances and see differences between them.

Either would be great! The use case I had in mind was exactly seeing what the register values are for every instance of the loop to understand why it does not converge.