Result execution state builds for exception result

UnitTestBot · Oct 30, 2023 · adced43 · adced43
1 parent 10c72e7
commit adced43
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/usvm-jvm-instrumentation/src/main/kotlin/org/usvm/instrumentation/rd/UTestExecutor.kt b/usvm-jvm-instrumentation/src/main/kotlin/org/usvm/instrumentation/rd/UTestExecutor.kt
@@ -95,6 +95,10 @@ class UTestExecutor(
                 else -> methodInvocationResult.getOrNull()
             }
         if (unpackedInvocationResult is Throwable) {
+            val trace = JcInstructionTracer.getTrace()
+            accessedStatics.addAll(trace.statics.toSet())
+            val resultExecutionState =
+                buildExecutionState(callMethodExpr, executor, resultStateDescriptorBuilder, accessedStatics)
             return UTestExecutionExceptionResult(
                 cause = buildExceptionDescriptor(
                     builder = resultStateDescriptorBuilder,
@@ -103,8 +107,7 @@ class UTestExecutor(
                 ),
                 trace = JcInstructionTracer.getTrace().trace,
                 initialState = initExecutionState,
-                //TODO!!! decide if should we build resulting state
-                resultState = initExecutionState
+                resultState = resultExecutionState
             )
         }
         val methodInvocationResultDescriptor =