|
1 | 1 | package org.utbot.summary
|
2 | 2 |
|
3 | 3 | import com.github.javaparser.ast.body.MethodDeclaration
|
4 |
| -import org.utbot.framework.UtSettings |
5 | 4 | import org.utbot.framework.plugin.api.UtClusterInfo
|
6 | 5 | import org.utbot.framework.plugin.api.UtSymbolicExecution
|
7 | 6 | import org.utbot.framework.plugin.api.UtExecutionCluster
|
@@ -65,7 +64,6 @@ fun UtMethodTestSet.summarize(sourceFile: File?, searchDirectory: Path = Paths.g
|
65 | 64 | executions = updatedExecutions,
|
66 | 65 | clustersInfo = clustersInfo
|
67 | 66 | ) // TODO: looks weird and don't create the real copy
|
68 |
| - |
69 | 67 | } catch (e: Throwable) {
|
70 | 68 | logger.info(e) { "Summary generation error: ${e.message}" }
|
71 | 69 | this
|
@@ -101,7 +99,7 @@ class Summarization(val sourceFile: File?, val invokeDescriptions: List<InvokeDe
|
101 | 99 | executionClusters += generateSummariesForTestsWithEmptyPathsProducedBySymbolicExecutor(testSet)
|
102 | 100 | }
|
103 | 101 | SummariesGenerationType.LIGHT -> {
|
104 |
| - executionClusters += generateSummariesForTestsProducedBySymbolicExecutorInContestEstimator(testSet) |
| 102 | + executionClusters += generateSummariesForTestsProducedBySymbolicExecutorWithoutSources(testSet) |
105 | 103 | executionClusters += generateSummariesForTestsProducedByFuzzer(testSet)
|
106 | 104 | }
|
107 | 105 | SummariesGenerationType.NONE -> error("We must not fill summaries if SummariesGenerationType is NONE")
|
@@ -230,7 +228,7 @@ class Summarization(val sourceFile: File?, val invokeDescriptions: List<InvokeDe
|
230 | 228 | return clustersToReturn.toList()
|
231 | 229 | }
|
232 | 230 |
|
233 |
| - private fun generateSummariesForTestsProducedBySymbolicExecutorInContestEstimator( |
| 231 | + private fun generateSummariesForTestsProducedBySymbolicExecutorWithoutSources( |
234 | 232 | testSet: UtMethodTestSet
|
235 | 233 | ) : List<UtExecutionCluster> {
|
236 | 234 | val clustersToReturn: MutableList<UtExecutionCluster> = mutableListOf()
|
|
0 commit comments