Skip to content

Commit b1075f6

Browse files
authored
Let concrete add additional mocks to UtCompositeModel created by the engine #2549 (#2553)
1 parent f9c9534 commit b1075f6

File tree

1 file changed

+6
-2
lines changed
  • utbot-framework-api/src/main/kotlin/org/utbot/framework/plugin/api

1 file changed

+6
-2
lines changed

utbot-framework-api/src/main/kotlin/org/utbot/framework/plugin/api/Api.kt

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -502,7 +502,11 @@ data class UtClassRefModel(
502502
* - calculated field values (models)
503503
* - mocks for methods with return values
504504
* - [canHaveRedundantOrMissingMocks] flag, which is set to `true` for mocks
505-
* created by fuzzer without knowing which methods will actually be called
505+
* created by:
506+
* - fuzzer which doesn't know which methods will actually be called
507+
* - engine which also doesn't know which methods will actually be
508+
* called during concrete execution that may be only **partially**
509+
* backed up by the symbolic analysis
506510
*
507511
* [fields] contains non-static fields
508512
*/
@@ -512,7 +516,7 @@ data class UtCompositeModel(
512516
val isMock: Boolean,
513517
val fields: MutableMap<FieldId, UtModel> = mutableMapOf(),
514518
val mocks: MutableMap<ExecutableId, List<UtModel>> = mutableMapOf(),
515-
val canHaveRedundantOrMissingMocks: Boolean = false,
519+
val canHaveRedundantOrMissingMocks: Boolean = true,
516520
) : UtReferenceModel(id, classId) {
517521
//TODO: SAT-891 - rewrite toString() method
518522
override fun toString() = withToStringThreadLocalReentrancyGuard {

0 commit comments

Comments
 (0)