Fuzzing fails in concrete execution sometimes #706 (#708)

Markoutte · denis-fokin · commit 2a001b814e74 · 2022-08-18T20:22:56.000+03:00
diff --git a/utbot-framework/src/main/kotlin/org/utbot/engine/UtBotSymbolicEngine.kt b/utbot-framework/src/main/kotlin/org/utbot/engine/UtBotSymbolicEngine.kt
@@ -403,7 +403,7 @@ class UtBotSymbolicEngine(
                 null
             }
             else -> {
-                ObjectModelProvider(ReferencePreservingIntIdGenerator()).withFallback(fallbackModelProvider).generate(
+                ObjectModelProvider(defaultIdGenerator).withFallback(fallbackModelProvider).generate(
                     FuzzedMethodDescription("thisInstance", voidClassId, listOf(methodUnderTest.clazz.id), constantValues)
                 ).take(10).shuffled(Random(0)).map { it.value.model }.first().apply {
                     if (this is UtNullModel) { // it will definitely fail because of NPE,

Original file line number	Diff line number	Diff line change
`@@ -403,7 +403,7 @@ class UtBotSymbolicEngine(`
`403`	`403`	`null`
`404`	`404`	`}`
`405`	`405`	`else -> {`
`406`		`- ObjectModelProvider(ReferencePreservingIntIdGenerator()).withFallback(fallbackModelProvider).generate(`
	`406`	`+ ObjectModelProvider(defaultIdGenerator).withFallback(fallbackModelProvider).generate(`
`407`	`407`	`FuzzedMethodDescription("thisInstance", voidClassId, listOf(methodUnderTest.clazz.id), constantValues)`
`408`	`408`	`).take(10).shuffled(Random(0)).map { it.value.model }.first().apply {`
`409`	`409`	`if (this is UtNullModel) { // it will definitely fail because of NPE,`