We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent b083415 commit 31ff087Copy full SHA for 31ff087
1 file changed
usvm-ts/src/test/kotlin/org/usvm/samples/lang/Optional.kt
@@ -1,17 +1,19 @@
1
package org.usvm.samples.lang
2
3
import org.jacodb.ets.model.EtsScene
4
+import org.junit.jupiter.api.Disabled
5
+import org.junit.jupiter.api.RepeatedTest
6
import org.usvm.api.TsTestValue
7
import org.usvm.util.TsMethodTestRunner
8
import org.usvm.util.eq
-import kotlin.test.Test
9
10
class Optional : TsMethodTestRunner() {
11
private val tsPath = "/samples/lang/Optional.ts"
12
13
override val scene: EtsScene = loadScene(tsPath)
14
- @Test
15
+ @Disabled("Input union types are not supported yet")
16
+ @RepeatedTest(10, failureThreshold = 1)
17
fun `test nullableArgument`() {
18
val method = getMethod("nullableArgument")
19
discoverProperties<TsTestValue, TsTestValue.TsNumber>(
0 commit comments