@@ -6,13 +6,13 @@ import org.usvm.api.TsTestValue
66import org.usvm.util.TsMethodTestRunner
77
88class ArrayMethods : TsMethodTestRunner () {
9- private val className = this :: class .simpleName !!
9+ private val tsPath = " /samples/arrays/ArrayMethods.ts "
1010
11- override val scene: EtsScene = loadSampleScene(className, folderPrefix = " arrays " )
11+ override val scene: EtsScene = loadScene(tsPath )
1212
1313 @Test
1414 fun testArrayPush () {
15- val method = getMethod(className, " arrayPush" )
15+ val method = getMethod(" arrayPush" )
1616 discoverProperties<TsTestValue .TsBoolean , TsTestValue >(
1717 method = method,
1818 { x, r ->
@@ -27,7 +27,7 @@ class ArrayMethods : TsMethodTestRunner() {
2727
2828 @Test
2929 fun testArrayPop () {
30- val method = getMethod(className, " arrayPop" )
30+ val method = getMethod(" arrayPop" )
3131 discoverProperties<TsTestValue .TsBoolean , TsTestValue >(
3232 method = method,
3333 { x, r ->
@@ -42,7 +42,7 @@ class ArrayMethods : TsMethodTestRunner() {
4242
4343 @Test
4444 fun testArrayFill () {
45- val method = getMethod(className, " arrayFill" )
45+ val method = getMethod(" arrayFill" )
4646 discoverProperties<TsTestValue .TsBoolean , TsTestValue .TsArray <TsTestValue .TsNumber >>(
4747 method = method,
4848 // Note: both branches return the same array (filled and modified original).
@@ -57,7 +57,7 @@ class ArrayMethods : TsMethodTestRunner() {
5757
5858 @Test
5959 fun testArrayShift () {
60- val method = getMethod(className, " arrayShift" )
60+ val method = getMethod(" arrayShift" )
6161 discoverProperties<TsTestValue .TsBoolean , TsTestValue >(
6262 method = method,
6363 { x, r ->
@@ -72,7 +72,7 @@ class ArrayMethods : TsMethodTestRunner() {
7272
7373 @Test
7474 fun testArrayUnshift () {
75- val method = getMethod(className, " arrayUnshift" )
75+ val method = getMethod(" arrayUnshift" )
7676 discoverProperties<TsTestValue .TsBoolean , TsTestValue >(
7777 method = method,
7878 { x, r ->
@@ -88,7 +88,7 @@ class ArrayMethods : TsMethodTestRunner() {
8888
8989 @Test
9090 fun testArrayJoin () {
91- val method = getMethod(className, " arrayJoin" )
91+ val method = getMethod(" arrayJoin" )
9292 discoverProperties<TsTestValue .TsBoolean , TsTestValue >(
9393 method = method,
9494 { x, r ->
@@ -104,7 +104,7 @@ class ArrayMethods : TsMethodTestRunner() {
104104
105105 @Test
106106 fun testArraySlice () {
107- val method = getMethod(className, " arraySlice" )
107+ val method = getMethod(" arraySlice" )
108108 discoverProperties<TsTestValue .TsBoolean , TsTestValue >(
109109 method = method,
110110 { x, r ->
@@ -120,7 +120,7 @@ class ArrayMethods : TsMethodTestRunner() {
120120
121121 @Test
122122 fun testArrayConcat () {
123- val method = getMethod(className, " arrayConcat" )
123+ val method = getMethod(" arrayConcat" )
124124 discoverProperties<TsTestValue .TsBoolean , TsTestValue >(
125125 method = method,
126126 { x, r ->
@@ -138,7 +138,7 @@ class ArrayMethods : TsMethodTestRunner() {
138138
139139 @Test
140140 fun testArrayIndexOf () {
141- val method = getMethod(className, " arrayIndexOf" )
141+ val method = getMethod(" arrayIndexOf" )
142142 discoverProperties<TsTestValue .TsBoolean , TsTestValue >(
143143 method = method,
144144 { x, r ->
@@ -154,7 +154,7 @@ class ArrayMethods : TsMethodTestRunner() {
154154
155155 @Test
156156 fun testArrayIncludes () {
157- val method = getMethod(className, " arrayIncludes" )
157+ val method = getMethod(" arrayIncludes" )
158158 discoverProperties<TsTestValue .TsBoolean , TsTestValue >(
159159 method = method,
160160 { x, r ->
@@ -170,7 +170,7 @@ class ArrayMethods : TsMethodTestRunner() {
170170
171171 @Test
172172 fun testArrayReverse () {
173- val method = getMethod(className, " arrayReverse" )
173+ val method = getMethod(" arrayReverse" )
174174 discoverProperties<TsTestValue .TsBoolean , TsTestValue >(
175175 method = method,
176176 // Note: Both branches return the same array (reversed and modified original).
0 commit comments