Skip to content

Reordered the test clusters #991

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
amandelpie merged 8 commits into from
Sep 30, 2022
Merged

Reordered the test clusters #991

Changes from 1 commit
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
ff78ec2
Reordered the test clusters
amandelpie Sep 21, 2022
3c2cc86
Merge branch 'main' into amandelpie/feature-990
onewhl Sep 27, 2022
a4f4740
Merge branch 'main' into amandelpie/feature-990
amandelpie Sep 28, 2022
eda80c7
Renamed clusters
amandelpie Sep 28, 2022
fcc8b1b
Fixed tests
amandelpie Sep 28, 2022
7b26240
Merge branch 'main' into amandelpie/feature-990
amandelpie Sep 28, 2022
d5d76f8
Fixed tests
amandelpie Sep 28, 2022
db2f7f4
Merge remote-tracking branch 'origin/amandelpie/feature-990' into ama…
amandelpie Sep 28, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Renamed clusters
  • Loading branch information
@amandelpie
amandelpie committed Sep 28, 2022
commit eda80c7220042bdb80d38bc4f90f300f67d3a62b
6 changes: 3 additions & 3 deletions utbot-summary/src/main/kotlin/org/utbot/summary/TagGenerator.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -97,7 +97,7 @@ private fun generateExecutionTags(executions: List<UtSymbolicExecution>, splitSt
fun groupExecutionsWithEmptyPaths(testSet: UtMethodTestSet): List<ExecutionCluster> {
val methodExecutions = testSet.executions.filterIsInstance<UtSymbolicExecution>()
val clusters = mutableListOf<ExecutionCluster>()
val commentPrefix = "CONCRETE EXECUTION ENGINE:"
val commentPrefix = "OTHER:"
val commentPostfix = "for method ${testSet.method.humanReadableName}"

val grouped = methodExecutions.groupBy { it.result.clusterKind() }
Expand All @@ -118,7 +118,7 @@ fun groupExecutionsWithEmptyPaths(testSet: UtMethodTestSet): List<ExecutionClust
}

/**
* Splits executions into clusters
* Splits executions produced by symbolic execution engine into clusters
* By default there is 5 types of clusters:
* Success, UnexpectedFail, ExpectedCheckedThrow, ExpectedUncheckedThrow, UnexpectedUncheckedThrow
* These are split by the type of execution result
Expand All @@ -131,7 +131,7 @@ fun groupExecutionsWithEmptyPaths(testSet: UtMethodTestSet): List<ExecutionClust
private fun toClusterExecutions(testSet: UtMethodTestSet): List<ExecutionCluster> {
val methodExecutions = testSet.executions.filterIsInstance<UtSymbolicExecution>()
val clusters = mutableListOf<ExecutionCluster>()
val commentPrefix = "SYMBOLIC EXECUTION ENGINE:"
val commentPrefix = "SYMBOLIC EXECUTION:"
val commentPostfix = "for method ${testSet.method.humanReadableName}"

val grouped = methodExecutions.groupBy { it.result.clusterKind() }
Expand Down