Uh oh!
There was an error while loading. Please reload this page.
Summaries for tests generated by fuzzer are generated in the summary module #597#599
Uh oh!
There was an error while loading. Please reload this page.
There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -135,31 +135,49 @@ data class Step( | ||
| */ | ||
| sealed class UtResult | ||
| /** | ||
| * Execution. | ||
| * | ||
| * Contains: | ||
| * - execution parameters, including thisInstance; | ||
| * - result; | ||
| * - coverage information (instructions) if this execution was obtained from the concrete execution. | ||
| * - comments, method names and display names created by utbot-summary module. | ||
| */ | ||
| open class UtExecution( | ||
| val stateBefore: EnvironmentModels, | ||
| val stateAfter: EnvironmentModels, | ||
| val result: UtExecutionResult, | ||
| val coverage: Coverage? = null, | ||
| var summary: List<DocStatement>? = null, | ||
| var testMethodName: String? = null, | ||
| var displayName: String? = null | ||
| ) : UtResult() | ||
| /** | ||
| * Symbolic execution. | ||
| * | ||
| * Contains: | ||
| * - execution parameters, including thisInstance; | ||
| * - result; | ||
| * - static fields changed during execution; | ||
| * - required instrumentation details (such as randoms, time, static methods). | ||
| * - coverage information (instructions) if this execution was obtained from the concrete execution. | ||
| * - comments, method names and display names created by utbot-summary module. | ||
| */ | ||
| class UtSymbolicExecution( | ||
amandelpie marked this conversation as resolved.
Uh oh!There was an error while loading. Please reload this page. | ||
| stateBefore: EnvironmentModels, | ||
| stateAfter: EnvironmentModels, | ||
| result: UtExecutionResult, | ||
| val instrumentation: List<UtInstrumentation>, | ||
| val path: MutableList<Step>, | ||
| val fullPath: List<Step>, | ||
| coverage: Coverage? = null, | ||
| summary: List<DocStatement>? = null, | ||
| testMethodName: String? = null, | ||
| displayName: String? = null | ||
| ) : UtExecution(stateBefore, stateAfter, result, coverage, summary, testMethodName, displayName) { | ||
| /** | ||
| * By design the 'before' and 'after' states contain info about the same fields. | ||
| * It means that it is not possible for a field to be present at 'before' and to be absent at 'after'. | ||
| @@ -169,7 +187,7 @@ data class UtExecution( | ||
| get() = stateBefore.statics.keys | ||
| override fun toString(): String = buildString { | ||
| append("UtSymbolicExecution(") | ||
| appendLine() | ||
| append("<State before>:") | ||
| @@ -190,6 +208,21 @@ data class UtExecution( | ||
| appendOptional("instrumentation", instrumentation) | ||
| append(")") | ||
| } | ||
| fun copy(stateAfter: EnvironmentModels, result: UtExecutionResult, coverage: Coverage): UtResult { | ||
| return UtSymbolicExecution( | ||
| stateBefore, | ||
| stateAfter, | ||
| result, | ||
| instrumentation, | ||
| path, | ||
| fullPath, | ||
| coverage, | ||
| summary, | ||
| testMethodName, | ||
| displayName | ||
| ) | ||
| } | ||
| } | ||
| open class EnvironmentModels( | ||
| @@ -209,7 +242,7 @@ open class EnvironmentModels( | ||
| } | ||
| /** | ||
| * Represents missing state. Useful for [UtConcreteExecutionFailure] because it does not have [UtSymbolicExecution.stateAfter] | ||
| */ | ||
| object MissingState : EnvironmentModels( | ||
| thisInstance = null, | ||
| @@ -553,12 +586,12 @@ data class UtDirectSetFieldModel( | ||
| val fieldModel: UtModel, | ||
| ) : UtStatementModel(instance) { | ||
| override fun toString(): String = withToStringThreadLocalReentrancyGuard { | ||
| val modelRepresentation = when (fieldModel) { | ||
| is UtAssembleModel -> fieldModel.modelName | ||
| else -> fieldModel.toString() | ||
| } | ||
| "${instance.modelName}.${fieldId.name} = $modelRepresentation" | ||
| } | ||
| } | ||
| @@ -1034,7 +1067,7 @@ class BuiltinMethodId( | ||
| open class TypeParameters(val parameters: List<ClassId> = emptyList()) | ||
| class WildcardTypeParameter: TypeParameters(emptyList()) | ||
| interface CodeGenerationSettingItem { | ||
| val displayName: String | ||
| @@ -1164,6 +1197,7 @@ enum class CodegenLanguage( | ||
| "-cp", classPath, | ||
| "-XDignore.symbol.file" // to let javac use classes from rt.jar | ||
| ).plus(sourcesFiles) | ||
| KOTLIN -> listOf("-d", buildDirectory, "-jvm-target", jvmTarget, "-cp", classPath).plus(sourcesFiles) | ||
| } | ||
| if (this == KOTLIN && System.getenv("KOTLIN_HOME") == null) { | ||
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.
Uh oh!
There was an error while loading. Please reload this page.
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Uh oh!
There was an error while loading. Please reload this page.