Skip to content

Commit a5cb81c

Browse files
Refactor entryMethodPath function
1 parent d226672 commit a5cb81c

File tree

1 file changed

+3
-3
lines changed
  • utbot-framework/src/main/kotlin/org/utbot/engine

1 file changed

+3
-3
lines changed

utbot-framework/src/main/kotlin/org/utbot/engine/Traverser.kt

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -3660,9 +3660,9 @@ class Traverser(
36603660
* Collects entry method statement path for ML. Eliminates duplicated statements, e.g. assignment with invocation
36613661
* in right part.
36623662
*/
3663-
private fun entryMethodPath(): MutableList<Step> {
3663+
private fun entryMethodPath(state: ExecutionState): MutableList<Step> {
36643664
val entryPath = mutableListOf<Step>()
3665-
environment.state.fullPath().forEach { step ->
3665+
state.fullPath().forEach { step ->
36663666
// TODO: replace step.stmt in methodUnderAnalysisStmts with step.depth == 0
36673667
// when fix SAT-812: [JAVA] Wrong depth when exception thrown
36683668
if (step.stmt in methodUnderAnalysisStmts && step.stmt !== entryPath.lastOrNull()?.stmt) {
@@ -3848,7 +3848,7 @@ class Traverser(
38483848
stateAfter,
38493849
symbolicExecutionResult,
38503850
instrumentation,
3851-
entryMethodPath(),
3851+
entryMethodPath(environment.state),
38523852
state.fullPath()
38533853
)
38543854

0 commit comments

Comments
 (0)