Bug with serialization of UTestSetStaticFieldStatement fixed

UnitTestBot · Feb 7, 2024 · 94c5a49 · 94c5a49
1 parent 9b91846
commit 94c5a49
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/...nstrumentation/src/main/kotlin/org/usvm/instrumentation/serializer/UTestInstSerializer.kt b/...nstrumentation/src/main/kotlin/org/usvm/instrumentation/serializer/UTestInstSerializer.kt
@@ -540,7 +540,7 @@ class UTestInstSerializer(private val ctx: SerializationContext) {
     private fun AbstractBuffer.serialize(uTestSetStaticFieldStatement: UTestSetStaticFieldStatement) =
         serialize(
             uTestExpression = uTestSetStaticFieldStatement,
-            kind = UTestExpressionKind.SET_FIELD,
+            kind = UTestExpressionKind.SET_STATIC_FIELD,
             serializeInternals = {
                 serializeUTestInst(value)
             },