Disable flaky test

Lipen · Lipen · commit d5c85fac242f · 2025-07-11T18:04:38.000+03:00
#310
diff --git a/usvm-ts/src/test/kotlin/org/usvm/samples/operators/Add.kt b/usvm-ts/src/test/kotlin/org/usvm/samples/operators/Add.kt
@@ -1,6 +1,7 @@
 package org.usvm.samples.operators
 
 import org.jacodb.ets.model.EtsScene
+import org.junit.jupiter.api.Disabled
 import org.usvm.api.TsTestValue
 import org.usvm.util.TsMethodTestRunner
 import org.usvm.util.toDouble
@@ -75,6 +76,7 @@ class Add : TsMethodTestRunner() {
         )
     }
 
+    @Disabled("Flaky test, see https://github.com/UnitTestBot/usvm/issues/310")
     @Test
     fun `add unknown values`() {
         val method = getMethod(className, "addUnknownValues")

Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,7 @@`
`1`	`1`	`package org.usvm.samples.operators`
`2`	`2`
`3`	`3`	`import org.jacodb.ets.model.EtsScene`
	`4`	`+import org.junit.jupiter.api.Disabled`
`4`	`5`	`import org.usvm.api.TsTestValue`
`5`	`6`	`import org.usvm.util.TsMethodTestRunner`
`6`	`7`	`import org.usvm.util.toDouble`
`@@ -75,6 +76,7 @@ class Add : TsMethodTestRunner() {`
`75`	`76`	`)`
`76`	`77`	`}`
`77`	`78`
	`79`	`+ @Disabled("Flaky test, see https://github.com/UnitTestBot/usvm/issues/310")`
`78`	`80`	`@Test`
`79`	`81`	fun `add unknown values`() {
`80`	`82`	`val method = getMethod(className, "addUnknownValues")`