Move *containsMocking* flag to UtSymbolicExecution

Author: sofurihafe

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

@@ -103,9 +103,7 @@ abstract class UtExecution(
     var summary: List<DocStatement>? = null,
     var testMethodName: String? = null,
     var displayName: String? = null
-) : UtResult() {
-    var containsMocking: Boolean = false
-}
+) : UtResult()
 
 /**
  * Symbolic execution.
@@ -138,6 +136,8 @@ class UtSymbolicExecution(
     val staticFields: Set<FieldId>
         get() = stateBefore.statics.keys
 
+    var containsMocking: Boolean = false
+
     override fun toString(): String = buildString {
         append("UtSymbolicExecution(")
         appendLine()

utbot-framework/src/main/kotlin/org/utbot/framework/codegen/model/constructor/CgMethodTestSet.kt

@@ -8,8 +8,10 @@ import org.utbot.framework.plugin.api.UtExecution
 import org.utbot.framework.plugin.api.UtExecutionFailure
 import org.utbot.framework.plugin.api.UtExecutionSuccess
 import org.utbot.framework.plugin.api.UtMethodTestSet
+import org.utbot.framework.plugin.api.UtSymbolicExecution
 import org.utbot.framework.plugin.api.util.objectClassId
 import org.utbot.framework.plugin.api.util.voidClassId
+import org.utbot.fuzzer.UtFuzzedExecution
 import soot.jimple.JimpleBody
 
 data class CgMethodTestSet private constructor(
@@ -69,8 +71,12 @@ data class CgMethodTestSet private constructor(
     * Excludes executions with mocking from [CgMethodTestSet].
     * */
     fun excludeExecutionsWithMocking(): CgMethodTestSet {
-        val executionsWithoutMocking = executions.filter { !it.containsMocking }
-        return substituteExecutions(executionsWithoutMocking)
+        val fuzzedExecutions = executions.filterIsInstance<UtFuzzedExecution>()
+        val symbolicExecutionsWithoutMocking = executions
+            .filterIsInstance<UtSymbolicExecution>()
+            .filter { !it.containsMocking }
+
+        return substituteExecutions(symbolicExecutionsWithoutMocking + fuzzedExecutions)
     }
 
     /**

utbot-framework/src/main/kotlin/org/utbot/tests/infrastructure/TestSpecificTestCaseGenerator.kt

@@ -16,6 +16,7 @@ import org.utbot.framework.plugin.api.TestCaseGenerator
 import org.utbot.framework.plugin.api.UtError
 import org.utbot.framework.plugin.api.UtExecution
 import org.utbot.framework.plugin.api.UtMethodTestSet
+import org.utbot.framework.plugin.api.UtSymbolicExecution
 import org.utbot.framework.plugin.api.util.id
 import org.utbot.framework.plugin.services.JdkInfoDefaultProvider
 import org.utbot.framework.util.Conflict
@@ -69,13 +70,16 @@ class TestSpecificTestCaseGenerator(
                         .collect {
                             when (it) {
                                 is UtExecution -> {
-                                    if (
-                                        conflictTriggers.triggered(Conflict.ForceMockHappened) ||
-                                        conflictTriggers.triggered(Conflict.ForceStaticMockHappened)
+                                    if (it is UtSymbolicExecution &&
+                                        (conflictTriggers.triggered(Conflict.ForceMockHappened) ||
+                                                conflictTriggers.triggered(Conflict.ForceStaticMockHappened))
                                     ) {
                                         it.containsMocking = true
 
-                                        conflictTriggers.reset(Conflict.ForceMockHappened, Conflict.ForceStaticMockHappened)
+                                        conflictTriggers.reset(
+                                            Conflict.ForceMockHappened,
+                                            Conflict.ForceStaticMockHappened
+                                        )
                                     }
                                     executions += it
                                 }