Skip to content

Commit 31ff087

Browse files
committed
Disable test with input union type
1 parent b083415 commit 31ff087

File tree

1 file changed

+4
-2
lines changed
  • usvm-ts/src/test/kotlin/org/usvm/samples/lang

1 file changed

+4
-2
lines changed

usvm-ts/src/test/kotlin/org/usvm/samples/lang/Optional.kt

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,17 +1,19 @@
11
package org.usvm.samples.lang
22

33
import org.jacodb.ets.model.EtsScene
4+
import org.junit.jupiter.api.Disabled
5+
import org.junit.jupiter.api.RepeatedTest
46
import org.usvm.api.TsTestValue
57
import org.usvm.util.TsMethodTestRunner
68
import org.usvm.util.eq
7-
import kotlin.test.Test
89

910
class Optional : TsMethodTestRunner() {
1011
private val tsPath = "/samples/lang/Optional.ts"
1112

1213
override val scene: EtsScene = loadScene(tsPath)
1314

14-
@Test
15+
@Disabled("Input union types are not supported yet")
16+
@RepeatedTest(10, failureThreshold = 1)
1517
fun `test nullableArgument`() {
1618
val method = getMethod("nullableArgument")
1719
discoverProperties<TsTestValue, TsTestValue.TsNumber>(

0 commit comments

Comments
 (0)