Skip to content

Summaries for tests generated by fuzzer are generated in the summary module #597 #599

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 15 commits into from
Aug 8, 2022
Merged

Summaries for tests generated by fuzzer are generated in the summary module #597 #599

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
ac224e6
Just moved some classes and shifted the stage of name generation for …
amandelpie Jul 27, 2022
10f1629
Merge branch 'main' into amandelpie/feature_597
amandelpie Aug 1, 2022
7ceeb4b
Made some refactoring
amandelpie Aug 1, 2022
010a8d1
Fixed a bug
amandelpie Aug 1, 2022
d111e5b
Changed signatures
amandelpie Aug 1, 2022
e9c62b7
Merge branch 'main' into amandelpie/feature_597
amandelpie Aug 5, 2022
5554705
Fixed merge issues
amandelpie Aug 5, 2022
46f8533
Add some fixes
amandelpie Aug 5, 2022
81e0759
Add some fixes
amandelpie Aug 5, 2022
707b6a1
Add some fixes
amandelpie Aug 5, 2022
fede3eb
Fixed some places
amandelpie Aug 8, 2022
0af780c
Fixed some places
amandelpie Aug 8, 2022
01d68e2
Fixed some places
amandelpie Aug 8, 2022
0722fed
Fixed wildcard imports
amandelpie Aug 8, 2022
1240c20
Merge branch 'main' into amandelpie/feature_597
amandelpie Aug 8, 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
Add some fixes
  • Loading branch information
@amandelpie
amandelpie committed Aug 5, 2022
commit 81e07597293a53ebe34b3fea2eaf6a1a73001b6d
2 changes: 1 addition & 1 deletion ...src/main/kotlin/org/utbot/framework/codegen/model/constructor/tree/CgMethodConstructor.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1061,7 +1061,7 @@ internal class CgMethodConstructor(val context: CgContext) : CgContextOwner by c
}
}

fun createTestMethod(executableId: ExecutableId, execution: UtSymbolicExecution): CgTestMethod =
fun createTestMethod(executableId: ExecutableId, execution: UtExecution): CgTestMethod =
withTestMethodScope(execution) {
val testMethodName = nameGenerator.testMethodNameFor(executableId, execution.testMethodName)
// TODO: remove this line when SAT-1273 is completed
Expand Down
3 changes: 1 addition & 2 deletions .../main/kotlin/org/utbot/framework/codegen/model/constructor/tree/CgTestClassConstructor.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -85,7 +85,6 @@ internal class CgTestClassConstructor(val context: CgContext) :
}

val (methodUnderTest, _, _, clustersInfo) = testSet
val symbolicExecutions = testSet.executions.filterIsInstance<UtSymbolicExecution>()
val regions = mutableListOf<CgRegion<CgMethod>>()
val requiredFields = mutableListOf<CgParameterDeclaration>()

Expand All @@ -96,7 +95,7 @@ internal class CgTestClassConstructor(val context: CgContext) :
emptyLineIfNeeded()
for (i in executionIndices) {
runCatching {
currentTestCaseTestMethods += methodConstructor.createTestMethod(methodUnderTest, symbolicExecutions[i])
currentTestCaseTestMethods += methodConstructor.createTestMethod(methodUnderTest, testSet.executions[i])
}.onFailure { e -> processFailure(testSet, e) }
}
val clusterHeader = clusterSummary?.header
Expand Down
16 changes: 2 additions & 14 deletions utbot-framework/src/main/kotlin/org/utbot/framework/fields/ExecutionStateAnalyzer.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,23 +4,11 @@ import org.utbot.common.WorkaroundReason
import org.utbot.common.doNotRun
import org.utbot.common.unreachableBranch
import org.utbot.common.workaround
import org.utbot.framework.plugin.api.ClassId
import org.utbot.framework.plugin.api.MissingState
import org.utbot.framework.plugin.api.UtArrayModel
import org.utbot.framework.plugin.api.UtAssembleModel
import org.utbot.framework.plugin.api.UtClassRefModel
import org.utbot.framework.plugin.api.UtCompositeModel
import org.utbot.framework.plugin.api.UtEnumConstantModel
import org.utbot.framework.plugin.api.UtSymbolicExecution
import org.utbot.framework.plugin.api.UtModel
import org.utbot.framework.plugin.api.UtNullModel
import org.utbot.framework.plugin.api.UtPrimitiveModel
import org.utbot.framework.plugin.api.UtReferenceModel
import org.utbot.framework.plugin.api.UtVoidModel
import org.utbot.framework.plugin.api.*
import org.utbot.framework.util.UtModelVisitor
import org.utbot.framework.util.hasThisInstance

class ExecutionStateAnalyzer(val execution: UtSymbolicExecution) {
class ExecutionStateAnalyzer(val execution: UtExecution) {
fun findModifiedFields(): StateModificationInfo {
return StateModificationInfo()
.analyzeThisInstance()
Expand Down