Run on real project, filter out methods with empty cfg

Author: Lipen

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

@@ -1,7 +1,6 @@
 package org.usvm.samples.checkers
 
-import org.jacodb.ets.model.EtsScene
-import org.jacodb.ets.utils.loadEtsFileAutoConvert
+import org.jacodb.ets.utils.loadEtsProjectFromIR
 import org.junit.jupiter.api.Test
 import org.usvm.UMachineOptions
 import org.usvm.api.checkers.UnreachableCodeDetector
@@ -12,21 +11,27 @@ import org.usvm.util.getResourcePath
 class UnreachableCodeDetectorTest {
     @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 scene = run {
+        //     val name = "UnreachableCode.ts"
+        //     val path = getResourcePath("/samples/checkers/$name")
+        //     val file = loadEtsFileAutoConvert(
+        //         path,
+        //         useArkAnalyzerTypeInference = 1
+        //     )
+        //     EtsScene(listOf(file))
+        // }
+
+        val path = getResourcePath("/projects/Demo_Calc/etsir")
+        val scene = loadEtsProjectFromIR(path, null)
 
         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 }.filter { it.name == "simpleUnreachableBranch" }
+        val methods = scene.projectClasses
+            .flatMap { it.methods }
+            .filterNot { it.cfg.stmts.isEmpty() }
+            //.filter { it.name == "simpleUnreachableBranch" }
         val results = machine.analyze(methods)
 
         check(results.isNotEmpty())