Add test with nullable argument

Author: Lipen

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

@@ -0,0 +1,26 @@
+package org.usvm.samples.lang
+
+import org.jacodb.ets.model.EtsScene
+import org.usvm.api.TsTestValue
+import org.usvm.util.TsMethodTestRunner
+import org.usvm.util.eq
+import kotlin.test.Test
+
+class Optional : TsMethodTestRunner() {
+    private val tsPath = "/samples/lang/Optional.ts"
+
+    override val scene: EtsScene = loadScene(tsPath)
+
+    @Test
+    fun `test nullableArgument`() {
+        val method = getMethod("nullableArgument")
+        discoverProperties<TsTestValue, TsTestValue.TsNumber>(
+            method = method,
+            { x, r -> (r eq 0) && (x is TsTestValue.TsUndefined) },
+            { x, r -> (r eq 0) && (x is TsTestValue.TsNull) },
+            { x, r -> (r eq 1) && (x is TsTestValue.TsNumber) && (x eq 1) },
+            { x, r -> (r eq 2) && (x is TsTestValue.TsNumber) && (x eq 2) },
+            { x, r -> (r eq 10) && (x is TsTestValue.TsNumber) },
+        )
+    }
+}

usvm-ts/src/test/resources/samples/lang/Optional.ts

@@ -0,0 +1,16 @@
+// @ts-nocheck
+// noinspection JSUnusedGlobalSymbols
+
+class Optional {
+    nullableArgument(x: number | null): number {
+        let value: number = 42;
+        if (x === undefined) return 0;
+        if (x !== null) {
+            if (x === 1) return x; // 1
+            value = x;
+            if (x === 2) return value; // 2
+            return 10;
+        }
+        return 0;
+    }
+}