Add todo

CaelmBleidd · CaelmBleidd · commit 61c35195288b · 2025-06-18T16:14:05.000+03:00
diff --git a/usvm-ts/src/main/kotlin/org/usvm/machine/interpreter/TsInterpreter.kt b/usvm-ts/src/main/kotlin/org/usvm/machine/interpreter/TsInterpreter.kt
@@ -536,8 +536,7 @@ class TsInterpreter(
 
                                 memory.write(lValue, value.asExpr(lValue.sort), guard = trueExpr)
                             } else {
-                                // probably it is a enum, check for it
-                                error("TODO")
+                                TODO("Support enums fields")
                             }
                         } else {
                             memory.write(lValue, expr.asExpr(lValue.sort), guard = trueExpr)

Original file line number	Diff line number	Diff line change
`@@ -536,8 +536,7 @@ class TsInterpreter(`
`536`	`536`
`537`	`537`	`memory.write(lValue, value.asExpr(lValue.sort), guard = trueExpr)`
`538`	`538`	`} else {`
`539`		`- // probably it is a enum, check for it`
`540`		`- error("TODO")`
	`539`	`+ TODO("Support enums fields")`
`541`	`540`	`}`
`542`	`541`	`} else {`
`543`	`542`	`memory.write(lValue, expr.asExpr(lValue.sort), guard = trueExpr)`