Re-enabled some disabled tests

Author: dtim

utbot-framework/src/test/kotlin/org/utbot/examples/algorithms/GraphTest.kt

@@ -1,6 +1,5 @@
 package org.utbot.examples.algorithms
 
-import org.junit.jupiter.api.Disabled
 import org.utbot.examples.UtValueTestCaseChecker
 import org.utbot.examples.eq
 import org.utbot.examples.ignoreExecutionsNumber
@@ -12,14 +11,20 @@ internal class GraphTest : UtValueTestCaseChecker(testClass = GraphExample::clas
     @Test
     @Tag("slow")
     fun testRunFindCycle() {
-        check(
+        checkWithException(
             GraphExample::runFindCycle,
-            eq(1),
+            ignoreExecutionsNumber,
+            { e, r -> e == null && r.isException<NullPointerException>() },
+            { e, r -> e != null && e.contains(null) && r.isException<NullPointerException>() },
+            { e, r -> e != null && e.any { it.first < 0 || it.first >= 10 } && r.isException<ArrayIndexOutOfBoundsException>() },
+            { e, r -> e != null && e.any { it.second < 0 || it.second >= 10 } && r.isException<ArrayIndexOutOfBoundsException>() },
+            { e, r -> e != null && e.all { it != null } && r.isSuccess }
         )
     }
 
     @Test
     fun testDijkstra() {
+        // The graph is fixed, there should be exactly one execution path, so no matchers are necessary
         check(
             GraphExample::runDijkstra,
             eq(1)

utbot-framework/src/test/kotlin/org/utbot/examples/casts/ArrayCastExampleTest.kt

@@ -1,5 +1,6 @@
 package org.utbot.examples.casts
 
+import org.junit.jupiter.api.Disabled
 import org.utbot.examples.UtValueTestCaseChecker
 import org.utbot.examples.DoNotCalculate
 import org.utbot.examples.eq
@@ -160,6 +161,7 @@ internal class ArrayCastExampleTest : UtValueTestCaseChecker(
     }
 
     @Test
+    @Disabled("Fix Traverser.findInvocationTargets to exclude non-exported classes / provide good classes")
     fun testCastFromIterableToCollection() {
         check(
             ArrayCastExample::castFromIterableToCollection,

utbot-framework/src/test/kotlin/org/utbot/examples/casts/CastExampleTest.kt

@@ -1,6 +1,5 @@
 package org.utbot.examples.casts
 
-import org.junit.jupiter.api.Disabled
 import org.utbot.examples.UtValueTestCaseChecker
 import org.utbot.examples.DoNotCalculate
 import org.utbot.examples.eq
@@ -10,7 +9,6 @@ import org.utbot.framework.plugin.api.CodegenLanguage
 import org.junit.jupiter.api.Test
 
 // TODO failed Kotlin compilation SAT-1332
-@Disabled
 internal class CastExampleTest : UtValueTestCaseChecker(
     testClass = CastExample::class,
     testCodeGeneration = true,

utbot-framework/src/test/kotlin/org/utbot/examples/casts/GenericCastExampleTest.kt

@@ -1,6 +1,5 @@
 package org.utbot.examples.casts
 
-import org.junit.jupiter.api.Disabled
 import org.utbot.examples.UtValueTestCaseChecker
 import org.utbot.examples.DoNotCalculate
 import org.utbot.examples.between
@@ -10,7 +9,6 @@ import org.utbot.framework.plugin.api.CodegenLanguage
 import org.junit.jupiter.api.Test
 
 // TODO failed Kotlin compilation SAT-1332
-@Disabled
 internal class GenericCastExampleTest : UtValueTestCaseChecker(
     testClass = GenericCastExample::class,
     testCodeGeneration = true,

utbot-framework/src/test/kotlin/org/utbot/examples/casts/InstanceOfExampleTest.kt

@@ -11,7 +11,6 @@ import org.junit.jupiter.api.Disabled
 import org.junit.jupiter.api.Test
 
 // TODO failed Kotlin compilation SAT-1332
-@Disabled
 internal class InstanceOfExampleTest : UtValueTestCaseChecker(
     testClass = InstanceOfExample::class,
     testCodeGeneration = true,