Add more logging messages to find reason for failing CI

src/infoCollection.ts

@@ -31,7 +31,7 @@ export class InfoCollection implements vscode.CodeLensProvider, vscode.CodeActio
     private resultOnTabChangeRegister: vscode.Disposable;
 
     private decorations: Map<string, vscode.TextEditorDecorationType[]>;
-    // for proc_defs we also have a boolean on whether these values
+    // for procedureDefs we also have a boolean on whether these values
     // were already requested (for codelenses)
     private procedureDefs: Map<string, FunctionRef[]>;
     private functionCalls: Map<string, FunctionRef[]>;

src/test/extension.test.ts

@@ -203,7 +203,8 @@ describe("Extension", () => {
                     "diagnostics": [] as unknown as Diagnostic[]
                 };
             }
-
+            console.log("Expected: " + JSON.stringify(expectedDiagnostics.diagnostics, null, 4));
+            console.log("Actual: " + JSON.stringify(plainDiagnostics, null, 4));
             expect(plainDiagnostics).to.deep.equal(expectedDiagnostics.diagnostics);
         });
     });

src/types/diagnostics.ts

@@ -143,6 +143,7 @@ export class VerificationDiagnostics implements PrustiMessageConsumer {
     }
 
     public reset(): void {
+        util.log("Resetting verification diagnostics")
         this.diagnostics = new Map<string, vscode.Diagnostic[]>();
         this.diagnosticCollection.clear();
     }
@@ -246,13 +247,13 @@ export class VerificationDiagnostics implements PrustiMessageConsumer {
 
     public processMessage(msg: Message, vArgs: VerificationArgs): void {
         const diag = parseDiagnostic(msg, vArgs.targetPath);
-        util.log("Consumed rustc message");
+        util.log("Consumed rustc message: " + msg.message);
         this.add(diag);
     }
 
     public processCargoMessage(msg: CargoMessage, vArgs: VerificationArgs): void {
         const diag = parseDiagnostic(msg, vArgs.targetPath);
-        util.log("Consumed cargo message");
+        util.log("Consumed cargo message: " + msg.message.message);
         this.add(diag);
     }
 }

src/verification.ts

@@ -217,7 +217,7 @@ export class VerificationManager {
             },
             ...config.extraPrustiEnv(),
         };
-        util.log("Prusti client environment: " + JSON.stringify(prustiEnv));
+        util.log("Prusti client environment: " + JSON.stringify({...versionDependentArgs, ...config.extraPrustiEnv}, null, 4));
         const cwd = isCrate ? vArgs.targetPath : path.dirname(vArgs.targetPath);
         const onOutput= this.buildOutputClosure(vArgs);
         const output = await util.spawn(