Remove typescript SDK

Author: Lipen

usvm-ts/src/test/kotlin/org/usvm/project/DemoCalc.kt

@@ -22,13 +22,12 @@ class RunOnDemoCalcProject : TsMethodTestRunner() {
 
     companion object {
         private const val PROJECT_PATH = "/projects/Demo_Calc/source/entry"
-        private const val SDK_TS_PATH = "/sdk/typescript"
         private const val SDK_OHOS_PATH = "/sdk/ohos/5.0.1.111/ets"
     }
 
     override val scene: EtsScene = run {
         val project = loadEtsProjectAutoConvert(getResourcePath(PROJECT_PATH))
-        val sdkFiles = listOf(SDK_TS_PATH, SDK_OHOS_PATH).flatMap { sdk ->
+        val sdkFiles = listOf(SDK_OHOS_PATH).flatMap { sdk ->
             val sdkPath = getResourcePath(sdk)
             val sdkProject = loadEtsProjectAutoConvert(sdkPath, useArkAnalyzerTypeInference = null)
             sdkProject.projectFiles

usvm-ts/src/test/kotlin/org/usvm/project/DemoPhotos.kt

@@ -24,13 +24,12 @@ class RunOnDemoPhotosProject : TsMethodTestRunner() {
 
     companion object {
         private const val PROJECT_PATH = "/projects/Demo_Photos/source/entry"
-        private const val SDK_TS_PATH = "/sdk/typescript"
         private const val SDK_OHOS_PATH = "/sdk/ohos/5.0.1.111/ets"
     }
 
     override val scene: EtsScene = run {
         val project = loadEtsProjectAutoConvert(getResourcePath(PROJECT_PATH))
-        val sdkFiles = listOf(SDK_TS_PATH, SDK_OHOS_PATH).flatMap { sdk ->
+        val sdkFiles = listOf(SDK_OHOS_PATH).flatMap { sdk ->
             val sdkPath = getResourcePath(sdk)
             val sdkProject = loadEtsProjectAutoConvert(sdkPath, useArkAnalyzerTypeInference = null)
             sdkProject.projectFiles

usvm-ts/src/test/kotlin/org/usvm/project/ProjectRunner.kt

@@ -35,7 +35,6 @@ private val logger = KotlinLogging.logger {}
 class ProjectRunner {
     companion object {
         private const val PROJECTS_ROOT = "/projects"
-        private const val SDK_TS_PATH = "/sdk/typescript"
         private const val SDK_OHOS_PATH = "/sdk/ohos/5.0.1.111/ets"
 
         // Instructions for getting SDK:
@@ -78,7 +77,7 @@ class ProjectRunner {
     }
 
     private val sdkFiles: List<EtsFile> by lazy {
-        listOf(SDK_TS_PATH, SDK_OHOS_PATH).flatMap { sdk ->
+        listOf(SDK_OHOS_PATH).flatMap { sdk ->
             logger.info { "Loading SDK from path: $sdk" }
             val sdkPath = getResourcePath(sdk)
             val sdkProject = loadEtsProjectAutoConvert(sdkPath, useArkAnalyzerTypeInference = null)