Generate std tests for symbolic executions with mocking instead of skipping them

Author: sofurihafe

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

@@ -39,6 +39,7 @@ import org.utbot.framework.plugin.api.ClassId
 import org.utbot.framework.plugin.api.MethodId
 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.description
 import org.utbot.framework.plugin.api.util.humanReadableName
 import org.utbot.fuzzer.UtFuzzedExecution
@@ -211,16 +212,28 @@ internal class CgTestClassConstructor(val context: CgContext) :
             )
         }
 
+        val testCaseTestMethods = mutableListOf<CgTestMethod>()
+
         // We cannot track mocking in fuzzed executions,
         // so we generate standard tests for each [UtFuzzedExecution].
         // [https://github.com/UnitTestBot/UTBotJava/issues/1137]
-        val testCaseTestMethods = mutableListOf<CgTestMethod>()
-        for (execution in testSet.executions.filterIsInstance<UtFuzzedExecution>()) {
-            testCaseTestMethods += methodConstructor.createTestMethod(methodUnderTest, execution)
-        }
+        testSet.executions
+            .filterIsInstance<UtFuzzedExecution>()
+            .forEach { execution ->
+                testCaseTestMethods += methodConstructor.createTestMethod(methodUnderTest, execution)
+            }
+
+        // Also, we generate standard tests for symbolic executions with force mocking.
+        // [https://github.com/UnitTestBot/UTBotJava/issues/1231]
+        testSet.executions
+            .filterIsInstance<UtSymbolicExecution>()
+            .filter { it.containsMocking }
+            .forEach { execution ->
+                testCaseTestMethods += methodConstructor.createTestMethod(methodUnderTest, execution)
+            }
 
         regions += CgSimpleRegion(
-            "FUZZER: EXECUTIONS for method ${methodUnderTest.humanReadableName}",
+            "EXECUTIONS for method ${methodUnderTest.humanReadableName}",
             testCaseTestMethods,
         )
     }