From 84116601ce2c1a13916c8353c7913ac0c972ec67 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jon=C3=A1=C5=A1=20Fiala?= <jonas.fiala@inf.ethz.ch>
Date: Wed, 14 Feb 2024 17:12:32 +0100
Subject: [PATCH] Even more

---
 client/src/VerificationController.ts | 1 +
 1 file changed, 1 insertion(+)

diff --git a/client/src/VerificationController.ts b/client/src/VerificationController.ts
index f701b391..e89b6342 100644
--- a/client/src/VerificationController.ts
+++ b/client/src/VerificationController.ts
@@ -801,6 +801,7 @@ export class VerificationController {
                             message: msg
                         });
 
+                        Log.error(`Verification Completed check (${params.success}): backend: ${State.activeBackend.name}, file: ${params.filename}`);
                         if (State.unitTest && this.verificationCompleted(params.success)) {
                             State.unitTest.verificationComplete(State.activeBackend.name, params.filename);
                         }