Cleanup tests

Author: Lipen

usvm-ts/src/test/kotlin/org/usvm/reachability/AsyncReachabilityTest.kt

@@ -4,6 +4,7 @@ import org.jacodb.ets.model.EtsIfStmt
 import org.jacodb.ets.model.EtsReturnStmt
 import org.jacodb.ets.model.EtsScene
 import org.jacodb.ets.utils.loadEtsFileAutoConvert
+import org.junit.jupiter.api.Disabled
 import org.usvm.PathSelectionStrategy
 import org.usvm.SolverType
 import org.usvm.UMachineOptions
@@ -113,6 +114,7 @@ class AsyncReachabilityTest {
         )
     }
 
+    @Disabled("No ::map method")
     @Test
     fun testPromiseAllReachable() {
         // Test reachability through Promise.all pattern:
@@ -150,6 +152,7 @@ class AsyncReachabilityTest {
         )
     }
 
+    @Disabled("Function types are not supported in EtsHierarchy")
     @Test
     fun testCallbackReachable() {
         // Test reachability through callback pattern:

usvm-ts/src/test/kotlin/org/usvm/reachability/BasicConditionsReachabilityTest.kt

@@ -101,7 +101,7 @@ class BasicConditionsReachabilityTest {
         target = target.addChild(TsReachabilityTarget.IntermediatePoint(secondIf))
 
         // return -1
-        val returnStmt = method.cfg.stmts.filterIsInstance<EtsReturnStmt>()[0]
+        val returnStmt = method.cfg.stmts.filterIsInstance<EtsReturnStmt>()[1]
         target.addChild(TsReachabilityTarget.FinalPoint(returnStmt))
 
         val results = machine.analyze(listOf(method), listOf(initialTarget))
@@ -216,7 +216,7 @@ class BasicConditionsReachabilityTest {
         target = target.addChild(TsReachabilityTarget.IntermediatePoint(secondIf))
 
         // return -1
-        val returnStmt = method.cfg.stmts.filterIsInstance<EtsReturnStmt>()[0]
+        val returnStmt = method.cfg.stmts.filterIsInstance<EtsReturnStmt>()[1]
         target.addChild(TsReachabilityTarget.FinalPoint(returnStmt))
 
         val results = machine.analyze(listOf(method), listOf(initialTarget))

usvm-ts/src/test/kotlin/org/usvm/reachability/ComplexReachabilityTest.kt

@@ -4,6 +4,7 @@ import org.jacodb.ets.model.EtsIfStmt
 import org.jacodb.ets.model.EtsReturnStmt
 import org.jacodb.ets.model.EtsScene
 import org.jacodb.ets.utils.loadEtsFileAutoConvert
+import org.junit.jupiter.api.Disabled
 import org.usvm.PathSelectionStrategy
 import org.usvm.SolverType
 import org.usvm.UMachineOptions
@@ -95,7 +96,7 @@ class ComplexReachabilityTest {
         target = target.addChild(TsReachabilityTarget.IntermediatePoint(firstIf))
 
         // return 1
-        val returnStmt = method.cfg.stmts.filterIsInstance<EtsReturnStmt>()[0]
+        val returnStmt = method.cfg.stmts.filterIsInstance<EtsReturnStmt>()[1]
         target.addChild(TsReachabilityTarget.FinalPoint(returnStmt))
 
         val results = machine.analyze(listOf(method), listOf(initialTarget))
@@ -147,6 +148,7 @@ class ComplexReachabilityTest {
         )
     }
 
+    @Disabled("Multiple methods ::process")
     @Test
     fun testConditionalObjectReachable() {
         // Test reachability with conditional object creation and polymorphic method calls
@@ -167,7 +169,7 @@ class ComplexReachabilityTest {
         target = target.addChild(TsReachabilityTarget.IntermediatePoint(secondIf))
 
         // return 1
-        val return1 = method.cfg.stmts.filterIsInstance<EtsReturnStmt>()[0]
+        val return1 = method.cfg.stmts.filterIsInstance<EtsReturnStmt>()[2]
         target.addChild(TsReachabilityTarget.FinalPoint(return1))
 
         // return 2

usvm-ts/src/test/kotlin/org/usvm/reachability/FunctionCallReachabilityTest.kt

@@ -161,7 +161,7 @@ class FunctionCallReachabilityTest {
         target = target.addChild(TsReachabilityTarget.IntermediatePoint(check))
 
         // return 1
-        val returnStmt = method.cfg.stmts.filterIsInstance<EtsReturnStmt>()[0]
+        val returnStmt = method.cfg.stmts.filterIsInstance<EtsReturnStmt>()[1]
         target.addChild(TsReachabilityTarget.FinalPoint(returnStmt))
 
         val results = machine.analyze(listOf(method), listOf(initialTarget))

usvm-ts/src/test/kotlin/org/usvm/reachability/HigherOrderFunctionsReachabilityTest.kt

@@ -4,6 +4,7 @@ import org.jacodb.ets.model.EtsIfStmt
 import org.jacodb.ets.model.EtsReturnStmt
 import org.jacodb.ets.model.EtsScene
 import org.jacodb.ets.utils.loadEtsFileAutoConvert
+import org.junit.jupiter.api.Disabled
 import org.usvm.PathSelectionStrategy
 import org.usvm.SolverType
 import org.usvm.UMachineOptions
@@ -21,6 +22,7 @@ import kotlin.time.Duration
  * Tests for higher-order functions and closures reachability scenarios.
  * Verifies reachability analysis through function composition and array processing patterns.
  */
+@Disabled("Iterators are not supported")
 class HigherOrderFunctionsReachabilityTest {
 
     private val scene = run {

usvm-ts/src/test/kotlin/org/usvm/reachability/InheritanceReachabilityTest.kt

@@ -4,6 +4,7 @@ import org.jacodb.ets.model.EtsIfStmt
 import org.jacodb.ets.model.EtsReturnStmt
 import org.jacodb.ets.model.EtsScene
 import org.jacodb.ets.utils.loadEtsFileAutoConvert
+import org.junit.jupiter.api.Disabled
 import org.usvm.PathSelectionStrategy
 import org.usvm.SolverType
 import org.usvm.UMachineOptions
@@ -21,6 +22,7 @@ import kotlin.time.Duration
  * Tests for class inheritance and polymorphism reachability scenarios.
  * Verifies reachability analysis through class hierarchies, method overriding, and inheritance patterns.
  */
+@Disabled("Inheritance is hard")
 class InheritanceReachabilityTest {
 
     private val scene = run {

usvm-ts/src/test/kotlin/org/usvm/reachability/LoopsReachabilityTest.kt

@@ -4,6 +4,7 @@ import org.jacodb.ets.model.EtsIfStmt
 import org.jacodb.ets.model.EtsReturnStmt
 import org.jacodb.ets.model.EtsScene
 import org.jacodb.ets.utils.loadEtsFileAutoConvert
+import org.junit.jupiter.api.Disabled
 import org.usvm.PathSelectionStrategy
 import org.usvm.SolverType
 import org.usvm.UMachineOptions
@@ -148,6 +149,7 @@ class LoopsReachabilityTest {
         )
     }
 
+    @Disabled("Iterators are not yet supported")
     @Test
     fun testForInLoopReachable() {
         // Test reachability through for-in loop:
@@ -169,7 +171,7 @@ class LoopsReachabilityTest {
         target = target.addChild(TsReachabilityTarget.IntermediatePoint(valueCheck))
 
         // return 1
-        val returnStmt = method.cfg.stmts.filterIsInstance<EtsReturnStmt>()[0]
+        val returnStmt = method.cfg.stmts.filterIsInstance<EtsReturnStmt>()[1]
         target.addChild(TsReachabilityTarget.FinalPoint(returnStmt))
 
         val results = machine.analyze(listOf(method), listOf(initialTarget))
@@ -185,6 +187,7 @@ class LoopsReachabilityTest {
         )
     }
 
+    @Disabled("Iterators are not yet supported")
     @Test
     fun testForOfLoopReachable() {
         // Test reachability through for-of loop:
@@ -206,7 +209,7 @@ class LoopsReachabilityTest {
         target = target.addChild(TsReachabilityTarget.IntermediatePoint(maxCheck))
 
         // return 1
-        val returnStmt = method.cfg.stmts.filterIsInstance<EtsReturnStmt>()[0]
+        val returnStmt = method.cfg.stmts.filterIsInstance<EtsReturnStmt>()[1]
         target.addChild(TsReachabilityTarget.FinalPoint(returnStmt))
 
         val results = machine.analyze(listOf(method), listOf(initialTarget))
@@ -239,7 +242,7 @@ class LoopsReachabilityTest {
         target = target.addChild(TsReachabilityTarget.IntermediatePoint(thresholdCheck))
 
         // return 1
-        val returnStmt = method.cfg.stmts.filterIsInstance<EtsReturnStmt>()[0]
+        val returnStmt = method.cfg.stmts.filterIsInstance<EtsReturnStmt>()[1]
         target.addChild(TsReachabilityTarget.FinalPoint(returnStmt))
 
         val results = machine.analyze(listOf(method), listOf(initialTarget))

usvm-ts/src/test/kotlin/org/usvm/reachability/RecursionReachabilityTest.kt

@@ -22,6 +22,7 @@ import kotlin.time.Duration
  * Tests for recursion reachability scenarios.
  * Verifies reachability analysis through recursive function calls with controlled depth limits.
  */
+@Disabled("Recursion is not fully supported yet")
 class RecursionReachabilityTest {
 
     private val scene = run {

usvm-ts/src/test/kotlin/org/usvm/reachability/TypeGuardsReachabilityTest.kt

@@ -4,6 +4,7 @@ import org.jacodb.ets.model.EtsIfStmt
 import org.jacodb.ets.model.EtsReturnStmt
 import org.jacodb.ets.model.EtsScene
 import org.jacodb.ets.utils.loadEtsFileAutoConvert
+import org.junit.jupiter.api.Disabled
 import org.usvm.PathSelectionStrategy
 import org.usvm.SolverType
 import org.usvm.UMachineOptions
@@ -80,6 +81,7 @@ class TypeGuardsReachabilityTest {
         )
     }
 
+    @Disabled("Fake type in type constraints")
     @Test
     fun testInstanceofGuardReachable() {
         // Test reachability through instanceof type guard:
@@ -101,7 +103,7 @@ class TypeGuardsReachabilityTest {
         target = target.addChild(TsReachabilityTarget.IntermediatePoint(lengthCheck))
 
         // return 1
-        val returnStmt = method.cfg.stmts.filterIsInstance<EtsReturnStmt>()[0]
+        val returnStmt = method.cfg.stmts.filterIsInstance<EtsReturnStmt>()[1]
         target.addChild(TsReachabilityTarget.FinalPoint(returnStmt))
 
         val results = machine.analyze(listOf(method), listOf(initialTarget))
@@ -171,7 +173,7 @@ class TypeGuardsReachabilityTest {
         target = target.addChild(TsReachabilityTarget.IntermediatePoint(assertionCheck))
 
         // return 1
-        val returnStmt = method.cfg.stmts.filterIsInstance<EtsReturnStmt>()[0]
+        val returnStmt = method.cfg.stmts.filterIsInstance<EtsReturnStmt>()[1]
         target.addChild(TsReachabilityTarget.FinalPoint(returnStmt))
 
         val results = machine.analyze(listOf(method), listOf(initialTarget))
@@ -286,7 +288,7 @@ class TypeGuardsReachabilityTest {
         target = target.addChild(TsReachabilityTarget.IntermediatePoint(boolCheck))
 
         // return 1
-        val returnStmt = method.cfg.stmts.filterIsInstance<EtsReturnStmt>()[0]
+        val returnStmt = method.cfg.stmts.filterIsInstance<EtsReturnStmt>()[1]
         target.addChild(TsReachabilityTarget.FinalPoint(returnStmt))
 
         val results = machine.analyze(listOf(method), listOf(initialTarget))