Tests update

Author: CaelmBleidd

usvm-ts/src/test/kotlin/org/usvm/samples/checkers/UnreachableCodeDetector.kt

@@ -11,28 +11,31 @@ import org.usvm.machine.TsOptions
 import org.usvm.util.getResourcePath
 
 class UnreachableCodeDetectorTest {
+    val scene = run {
+        val name = "UnreachableCode.ts"
+        val path = getResourcePath("/samples/checkers/$name")
+        val file = loadEtsFileAutoConvert(
+            path,
+            useArkAnalyzerTypeInference = 1
+        )
+        EtsScene(listOf(file))
+    }
+
     @Test
     fun testUnreachableCode() {
-        val scene = run {
-            val name = "UnreachableCode.ts"
-            val path = getResourcePath("/samples/checkers/$name")
-            val file = loadEtsFileAutoConvert(
-                path,
-                useArkAnalyzerTypeInference = 1
-            )
-            EtsScene(listOf(file))
-        }
-
         val options = UMachineOptions()
         val tsOptions = TsOptions(interproceduralAnalysis = false)
         val observer = UnreachableCodeDetector()
         val machine = TsMachine(scene, options, tsOptions, observer, observer)
         val methods = scene.projectClasses
             .flatMap { it.methods }
             .filterNot { it.cfg.stmts.isEmpty() }
-            //.filter { it.name == "simpleUnreachableBranch" }
-        val results = machine.analyze(methods)
+            .filter { it.name == "simpleUnreachableBranch" }
+        machine.analyze(methods)
+
+        val uncoveredResults = observer.result.values.singleOrNull() ?: error("No results found")
+        val uncoveredStatements = uncoveredResults.singleOrNull()
 
-        check(results.isNotEmpty())
+        check(uncoveredStatements != null) { "Uncovered statements are incorrect, results are $uncoveredStatements" }
     }
 }