diff --git a/usvm-jvm/src/test/kotlin/org/usvm/samples/enums/ClassWithEnumTest.kt b/usvm-jvm/src/test/kotlin/org/usvm/samples/enums/ClassWithEnumTest.kt index 5e2b6114ea..c1e0bd3a3c 100644 --- a/usvm-jvm/src/test/kotlin/org/usvm/samples/enums/ClassWithEnumTest.kt +++ b/usvm-jvm/src/test/kotlin/org/usvm/samples/enums/ClassWithEnumTest.kt @@ -186,6 +186,7 @@ class ClassWithEnumTest : JavaMethodTestRunner() { } @Test + @Disabled("TODO we need to get mocks for static fields") fun testAffectSystemStaticAndUseInitEnumFromIt() { checkDiscoveredProperties( ClassWithEnum::affectSystemStaticAndInitEnumFromItAndReturnField, diff --git a/usvm-jvm/src/test/kotlin/org/usvm/samples/loops/TestWhile.kt b/usvm-jvm/src/test/kotlin/org/usvm/samples/loops/TestWhile.kt index aafdbe1f35..dd30ff4e54 100644 --- a/usvm-jvm/src/test/kotlin/org/usvm/samples/loops/TestWhile.kt +++ b/usvm-jvm/src/test/kotlin/org/usvm/samples/loops/TestWhile.kt @@ -1,5 +1,6 @@ package org.usvm.samples.loops +import org.junit.jupiter.api.Disabled import org.junit.jupiter.api.Test import org.usvm.UMachineOptions import org.usvm.samples.JavaMethodTestRunner @@ -17,6 +18,7 @@ class TestWhile : JavaMethodTestRunner() { ) @Test + @Disabled("Jacodb issue") fun `Test singleLoop`() { checkDiscoveredProperties( While::singleLoop, diff --git a/usvm-jvm/src/test/kotlin/org/usvm/samples/objects/ClassForTestClinitSectionsTest.kt b/usvm-jvm/src/test/kotlin/org/usvm/samples/objects/ClassForTestClinitSectionsTest.kt index 9a6a82befa..3cb391b190 100644 --- a/usvm-jvm/src/test/kotlin/org/usvm/samples/objects/ClassForTestClinitSectionsTest.kt +++ b/usvm-jvm/src/test/kotlin/org/usvm/samples/objects/ClassForTestClinitSectionsTest.kt @@ -21,6 +21,7 @@ internal class ClassForTestClinitSectionsTest : JavaMethodTestRunner() { // } @Test + @Disabled("TODO we need to get mocks for static fields") fun testClinitWithClinitAnalysis() { checkDiscoveredProperties( ClassForTestClinitSections::resultDependingOnStaticSection,