uncommit

Author: ArsenHD

utbot-framework-api/src/main/kotlin/org/utbot/framework/UtSettings.kt

@@ -174,7 +174,7 @@ object UtSettings {
      * @see <a href="CONFLUENCE:UtBot+Expression+Optimizations">
      *     UtBot Expression Optimizations</a>
      */
-    var useExpressionSimplification by getBooleanProperty(true)
+    var useExpressionSimplification by getBooleanProperty(false)
 
     /*
     * Activate or deactivate tests on comments && names/displayNames

utbot-framework/src/main/kotlin/org/utbot/engine/Traverser.kt

@@ -1828,7 +1828,7 @@ class Traverser(
             return fromMemory
         }
         val addr = fromMemory?.addr ?: findNewAddr()
-        val created = createObject(addr, classType, useConcreteType = false, mockInfoGenerator)
+        val created = createObject(addr, classType, useConcreteType = true, mockInfoGenerator)
         queuedSymbolicStateUpdates += MemoryUpdate(staticInstanceStorage = persistentHashMapOf(classType.id to created))
         return created
     }
@@ -3396,9 +3396,9 @@ class Traverser(
                     val type = (it as? RefType)?.sootClass ?: return@all false
                     type.isLambda || type.isAnonymous
                 }
-                if (!isInNestedMethod && sootClass.isAnonymous && !onlyAnonymousTypesAndLambdasAvailable) {
-                    return
-                }
+//                if (!isInNestedMethod && sootClass.isAnonymous && !onlyAnonymousTypesAndLambdasAvailable) {
+//                    return
+//                }
             }
         }
 

utbot-framework/src/main/kotlin/org/utbot/engine/TypeResolver.kt

@@ -213,9 +213,10 @@ class TypeResolver(private val typeRegistry: TypeRegistry, private val hierarchy
                 when {
                     sootClass.isAnonymous || sootClass.isUtMock -> unwantedTypes += it
                     sootClass.isArtificialEntity -> {
-                        if (sootClass.isLambda) {
-                            unwantedTypes += it
-                        } else if (keepArtificialEntities) {
+//                        if (sootClass.isLambda) {
+//                            unwantedTypes += it
+//                        } else
+                        if (keepArtificialEntities) {
                             concreteTypes += it
                         }
                     }

utbot-framework/src/main/kotlin/org/utbot/engine/UtBotSymbolicEngine.kt

@@ -589,15 +589,15 @@ class UtBotSymbolicEngine(
                     instrumentation
                 )
 
-                workaround(REMOVE_ANONYMOUS_CLASSES) {
-                    concreteExecutionResult.result.onSuccess {
-                        if (it.classId.isAnonymous) {
-                            logger.debug("Anonymous class found as a concrete result, symbolic one will be returned")
-                            emit(symbolicUtExecution)
-                            return
-                        }
-                    }
-                }
+//                workaround(REMOVE_ANONYMOUS_CLASSES) {
+//                    concreteExecutionResult.result.onSuccess {
+//                        if (it.classId.isAnonymous) {
+//                            logger.debug("Anonymous class found as a concrete result, symbolic one will be returned")
+//                            emit(symbolicUtExecution)
+//                            return
+//                        }
+//                    }
+//                }
 
                 val concolicUtExecution = symbolicUtExecution.copy(
                     stateAfter = concreteExecutionResult.stateAfter,