Skip to content

Commit 763ffc9

Browse files
committed
Debug sat states
1 parent ed02716 commit 763ffc9

File tree

1 file changed

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

1 file changed

+4
-2
lines changed

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

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2484,6 +2484,7 @@ class Traverser(
24842484
environment.state.definitelyFork()
24852485
}
24862486

2487+
/*
24872488
return mutableListOf<MethodResult>().apply {
24882489
for (result in artificialMethodOverride.results) {
24892490
when (result) {
@@ -2498,8 +2499,9 @@ class Traverser(
24982499
}
24992500
}
25002501
}
2502+
*/
25012503

2502-
/*val methodResults = mutableListOf<MethodResult>()
2504+
val methodResults = mutableListOf<MethodResult>()
25032505
val graphResults = mutableListOf<GraphResult>()
25042506

25052507
for (result in artificialMethodOverride.results) {
@@ -2513,7 +2515,7 @@ class Traverser(
25132515
ExecutionStateBasics(it.graph, invocation.instance, invocation.parameters, it.constraints, isLibraryMethod = true)
25142516
}.let { pushToPathSelectorFirstReachableStates(it) }
25152517

2516-
return methodResults*/
2518+
return methodResults
25172519
}
25182520

25192521
// If there is no such invocation, use the generator to produce invocation targets

0 commit comments

Comments
 (0)