Show value of lval in step into targets' options

goblint · Sep 13, 2024 · ce24ae2 · ce24ae2
1 parent f68c3f4
commit ce24ae2
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/main/java/abstractdebugging/AbstractDebuggingServer.java b/src/main/java/abstractdebugging/AbstractDebuggingServer.java
@@ -370,9 +370,11 @@ public CompletableFuture<StepInTargetsResponse> stepInTargets(StepInTargetsArgum
                 for (int i = 0; i < cfgEdges.size(); i++) {
                     var edge = cfgEdges.get(i);
                     var node = resultsService.lookupNode(edge.nodeId());
+                    var lval = edge.lval();
+                    lval = lval == null ? "" : " " + domainValueToString(resultsService.evaluateExpression(edge.nodeId(), edge.lval()));
                     forwardTargets.add(target(
                             STEP_OVER_OFFSET + i,
-                            "Step: " + edge.statementDisplayString(),
+                            "Step: " + edge.statementDisplayString() + lval,
                             node.location()
                     ));
                 }