Ensure LincheckAssertionError is thrown under Lincheck java-agent

Signed-off-by: Evgeniy Moiseenko <[email protected]>
JetBrains · May 20, 2024 · c6bc1f9 · c6bc1f9
1 parent 200e12e
commit c6bc1f9
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/jvm/main/org/jetbrains/kotlinx/lincheck/LinChecker.kt b/src/jvm/main/org/jetbrains/kotlinx/lincheck/LinChecker.kt
@@ -42,8 +42,9 @@ class LinChecker (private val testClass: Class<*>, options: Options<*, *>?) {
      * @throws LincheckAssertionError if the testing data structure is incorrect.
      */
     fun check() {
-        val failure = checkImpl() ?: return
-        throw LincheckAssertionError(failure)
+        checkImpl { failure ->
+            if (failure != null) throw LincheckAssertionError(failure)
+        }
     }
 
     /**