diff --git a/codyze-backends/cpg/src/test/kotlin/de/fraunhofer/aisec/codyze/backends/cpg/coko/dsl/ImplementationDslTest.kt b/codyze-backends/cpg/src/test/kotlin/de/fraunhofer/aisec/codyze/backends/cpg/coko/dsl/ImplementationDslTest.kt index d4739e82b..10871daa1 100644 --- a/codyze-backends/cpg/src/test/kotlin/de/fraunhofer/aisec/codyze/backends/cpg/coko/dsl/ImplementationDslTest.kt +++ b/codyze-backends/cpg/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 = 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 = mutableListOf()