We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 6665fb6 commit aba9586Copy full SHA for aba9586
1 file changed
utbot-framework/src/main/kotlin/org/utbot/engine/ExecutionState.kt
@@ -12,6 +12,7 @@ import org.utbot.engine.pc.UtSolver
12
import org.utbot.engine.pc.UtSolverStatusUNDEFINED
13
import org.utbot.engine.symbolic.SymbolicState
14
import org.utbot.engine.symbolic.SymbolicStateUpdate
15
+import org.utbot.framework.UtSettings
16
import org.utbot.framework.plugin.api.Step
17
import soot.SootMethod
18
import soot.jimple.Stmt
@@ -86,7 +87,7 @@ data class StateAnalyticsProperties(
86
87
successorVisitedAfterLastFork,
88
successorVisitedBeforeLastFork,
89
successorStmtSinceLastCovered,
- parent
90
+ if (UtSettings.featureProcess) parent else null
91
)
92
}
93
0 commit comments