Skip to content

Commit 5d321fe

Browse files
Refactor entryMethodPath function
1 parent 4bcc613 commit 5d321fe

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
@@ -3572,9 +3572,9 @@ class Traverser(
35723572
* Collects entry method statement path for ML. Eliminates duplicated statements, e.g. assignment with invocation
35733573
* in right part.
35743574
*/
3575-
private fun entryMethodPath(): MutableList<Step> {
3575+
private fun entryMethodPath(state: ExecutionState): MutableList<Step> {
35763576
val entryPath = mutableListOf<Step>()
3577-
environment.state.fullPath().forEach { step ->
3577+
state.fullPath().forEach { step ->
35783578
// TODO: replace step.stmt in methodUnderAnalysisStmts with step.depth == 0
35793579
// when fix SAT-812: [JAVA] Wrong depth when exception thrown
35803580
if (step.stmt in methodUnderAnalysisStmts && step.stmt !== entryPath.lastOrNull()?.stmt) {
@@ -3760,7 +3760,7 @@ class Traverser(
37603760
stateAfter,
37613761
symbolicExecutionResult,
37623762
instrumentation,
3763-
entryMethodPath(),
3763+
entryMethodPath(environment.state),
37643764
state.fullPath()
37653765
)
37663766

0 commit comments

Comments
 (0)