Some tests are disabled for a some time...

UnitTestBot · Oct 30, 2023 · e79c048 · e79c048
1 parent cabb4e0
commit e79c048
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 0 deletions.
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
@@ -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
@@ -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
@@ -21,6 +21,7 @@ internal class ClassForTestClinitSectionsTest : JavaMethodTestRunner() {
 //        }
 
     @Test
+    @Disabled("TODO we need to get mocks for static fields")
     fun testClinitWithClinitAnalysis() {
         checkDiscoveredProperties(
             ClassForTestClinitSections::resultDependingOnStaticSection,