Skip to content

Commit c833589

Browse files
Refactor entryMethodPath function
1 parent eba4881 commit c833589

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
@@ -3547,9 +3547,9 @@ class Traverser(
35473547
* Collects entry method statement path for ML. Eliminates duplicated statements, e.g. assignment with invocation
35483548
* in right part.
35493549
*/
3550-
private fun entryMethodPath(): MutableList<Step> {
3550+
private fun entryMethodPath(state: ExecutionState): MutableList<Step> {
35513551
val entryPath = mutableListOf<Step>()
3552-
environment.state.fullPath().forEach { step ->
3552+
state.fullPath().forEach { step ->
35533553
// TODO: replace step.stmt in methodUnderAnalysisStmts with step.depth == 0
35543554
// when fix SAT-812: [JAVA] Wrong depth when exception thrown
35553555
if (step.stmt in methodUnderAnalysisStmts && step.stmt !== entryPath.lastOrNull()?.stmt) {
@@ -3735,7 +3735,7 @@ class Traverser(
37353735
stateAfter,
37363736
symbolicExecutionResult,
37373737
instrumentation,
3738-
entryMethodPath(),
3738+
entryMethodPath(environment.state),
37393739
state.fullPath()
37403740
)
37413741

0 commit comments

Comments
 (0)