Skip to content

Clicking on omniscience variable values causes codetracer to jump to the line #397

@Franz-Fischbach

Description

@Franz-Fischbach

Clicking on omniscience variable values causes codetracer to jump to the line

Steps to reproduce:

  1. Open CodeTracer using ct run test-programs/noir_space_ship/
  2. Jump to line 4 of shield.nr
  3. Move the slider so it is not on the first iteration
  4. Click on the omniscience value for "i" on line 4 as shown in the screenshot.
  5. Click on any other omniscience variable value

Expected result:

When clicking on any omniscience value, the line should be selected as with any other line of code.

Image

Actual result:
When clicking on any omniscience variable value, CodeTracer jumps backwards to that line. If that line happens to be the first line of a loop, it repeatedly jumps to the previous iteration until it hits the first one.

Image Image

Metadata

Metadata

Assignees

Labels

bugSomething isn't workingfrontendAny issues regarding the GUI frontend

Type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions