disable tests that rely on missing CPG features

Fraunhofer-AISEC · Jul 8, 2024 · 5985bf9 · 5985bf9
1 parent 893f827
commit 5985bf9
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/...src/test/kotlin/de/fraunhofer/aisec/codyze/backends/cpg/coko/dsl/ImplementationDslTest.kt b/...src/test/kotlin/de/fraunhofer/aisec/codyze/backends/cpg/coko/dsl/ImplementationDslTest.kt
@@ -19,6 +19,7 @@ import de.fraunhofer.aisec.codyze.backends.cpg.coko.CokoCpgBackend
 import de.fraunhofer.aisec.codyze.backends.cpg.createCpgConfiguration
 import de.fraunhofer.aisec.codyze.specificationLanguages.coko.core.dsl.*
 import org.junit.jupiter.api.BeforeAll
+import org.junit.jupiter.api.Disabled
 import org.junit.jupiter.api.Test
 import kotlin.io.path.toPath
 import kotlin.test.assertEquals
@@ -80,6 +81,7 @@ class ImplementationDslTest {
         }
     }
 
+    @Disabled("sizeof in CPG currently does not support InitListExpression as initializer")
     @Test
     fun `test Array Length`() {
         val opX: MutableList<Op> = mutableListOf()
@@ -113,6 +115,7 @@ class ImplementationDslTest {
         }
     }
 
+    @Disabled("sizeof in CPG currently does not support MemberCallExpression as Initializer")
     @Test
     fun `test List Length`() {
         val opX: MutableList<Op> = mutableListOf()