Ensure non-null value for coverageRunner in Validator

JetBrains-Research · Nov 10, 2023 · 0234d54 · 0234d54
1 parent e8f36a0
commit 0234d54
Showing 1 changed file with 1 addition and 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
@@ -303,7 +303,7 @@ class Validator(
             .addExternalCoverageSuite(
                 virtualFile.name,
                 virtualFile.timeStamp,
-                coverageRunner,
+                coverageRunner!!,
                 DefaultCoverageFileProvider(virtualFile.path),
             )