From 0234d5458bcb2f8c7adc2a17bf1e23079436cb48 Mon Sep 17 00:00:00 2001
From: Pouria Derakhshanfar <pouria.derakhshanfar@gmail.com>
Date: Fri, 10 Nov 2023 16:38:45 +0100
Subject: [PATCH] Ensure non-null value for coverageRunner in Validator

---
 .../research/testspark/tools/evosuite/validation/Validator.kt   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/kotlin/org/jetbrains/research/testspark/tools/evosuite/validation/Validator.kt b/src/main/kotlin/org/jetbrains/research/testspark/tools/evosuite/validation/Validator.kt
index 24007a5ef..30e61ebcd 100644
--- a/src/main/kotlin/org/jetbrains/research/testspark/tools/evosuite/validation/Validator.kt
+++ b/src/main/kotlin/org/jetbrains/research/testspark/tools/evosuite/validation/Validator.kt
@@ -303,7 +303,7 @@ class Validator(
             .addExternalCoverageSuite(
                 virtualFile.name,
                 virtualFile.timeStamp,
-                coverageRunner,
+                coverageRunner!!,
                 DefaultCoverageFileProvider(virtualFile.path),
             )