Disable four tests

EgorkaKulikov · EgorkaKulikov · commit 73724f10c9d5 · 2023-12-08T17:43:45.000+03:00
diff --git a/utbot-framework-test/src/test/kotlin/org/utbot/examples/enums/ClassWithEnumTest.kt b/utbot-framework-test/src/test/kotlin/org/utbot/examples/enums/ClassWithEnumTest.kt
@@ -46,6 +46,7 @@ class ClassWithEnumTest : UtValueTestCaseChecker(testClass = ClassWithEnum::clas
     }
 
     @Test
+    @Disabled("Seems not aligning with ksmt version used in USVM")
     fun testNullParameter() {
         check(
             ClassWithEnum::nullEnumAsParameter,

Original file line number	Diff line number	Diff line change
`@@ -46,6 +46,7 @@ class ClassWithEnumTest : UtValueTestCaseChecker(testClass = ClassWithEnum::clas`
`46`	`46`	`}`
`47`	`47`
`48`	`48`	`@Test`
	`49`	`+ @Disabled("Seems not aligning with ksmt version used in USVM")`
`49`	`50`	`fun testNullParameter() {`
`50`	`51`	`check(`
`51`	`52`	`ClassWithEnum::nullEnumAsParameter,`