Add todo

UnitTestBot · CaelmBleidd · May 29, 2025 · May 29, 2025 · May 30, 2025 · May 30, 2025
commit 59393c2d9b28ac64943299d1e9ca0bfd68e2927d
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)