Some hacks

CaelmBleidd · CaelmBleidd · commit cf6b6bfc32ed · 2025-06-10T18:17:51.000+03:00
diff --git a/usvm-ts/src/main/kotlin/org/usvm/machine/expr/TsExprResolver.kt b/usvm-ts/src/main/kotlin/org/usvm/machine/expr/TsExprResolver.kt
@@ -284,8 +284,8 @@ class TsExprResolver(
             return mkFp64(ADHOC_STRING__NUMBER) // 'number'
         }
 
-        logger.warn { "visit(${expr::class.simpleName}) is not implemented yet" }
-        error("Not supported $expr")
+        logger.error { "visit(${expr::class.simpleName}) is not implemented yet" }
+        return mkFp64(ADHOC_STRING)
     }
 
     override fun visit(expr: EtsDeleteExpr): UExpr<out USort>? {

Original file line number	Diff line number	Diff line change
`@@ -284,8 +284,8 @@ class TsExprResolver(`
`284`	`284`	`return mkFp64(ADHOC_STRING__NUMBER) // 'number'`
`285`	`285`	`}`
`286`	`286`
`287`		`- logger.warn { "visit(${expr::class.simpleName}) is not implemented yet" }`
`288`		`- error("Not supported $expr")`
	`287`	`+ logger.error { "visit(${expr::class.simpleName}) is not implemented yet" }`
	`288`	`+ return mkFp64(ADHOC_STRING)`
`289`	`289`	`}`
`290`	`290`
`291`	`291`	`override fun visit(expr: EtsDeleteExpr): UExpr<out USort>? {`