Debug ext: Fix lens positioning for Kani C

GillianPlatform · Dec 23, 2023 · 04a3ae7 · 04a3ae7
1 parent 1def906
commit 04a3ae7
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/debugger-vscode-extension/src/activateCodeLens.ts b/debugger-vscode-extension/src/activateCodeLens.ts
@@ -62,8 +62,6 @@ class DebugCodeLensProvider implements CodeLensProvider {
         break;
     }
 
-    const reProcedureName = /(.+?)\(/g;
-
     const lensKinds = getLensKinds();
     const lenses: CodeLens[] = [];
     while (pattern.exec(text) !== null) {
@@ -97,9 +95,10 @@ class DebugCodeLensProvider implements CodeLensProvider {
     const lenses: CodeLens[] = [];
     let match = pattern.exec(text);
     while (match !== null) {
+      const ix = match.index + 'int main'.length;
       for (const [execMode, commandPrefix] of lensKinds) {
         const codeLens = this.makeCodeLens(
-          match.index,
+          ix,
           'main',
           document,
           execMode,