Revert "Avoid class initialization when we evaluate ClassId"

This reverts commit 62f25ad.

Author: EgorkaKulikov

gradle.properties

@@ -104,7 +104,7 @@ jakartaVersion=3.1.0
 jacoDbVersion=1.4.1
 # TODO left outdated here to avoid exceeding GitHub packages drive space,
 # TODO run `gradle publishToMavenLocal -Pversion={usvmVersion}` locally in usvm project and update {usvmVersion} locally
-usvmVersion=2811-2
+usvmVersion=comp-231124-ev
 
 # use latest Java 8 compaitable Spring and Spring Boot versions
 springVersion=5.3.28

utbot-junit-contest/src/main/kotlin/org/utbot/contest/ContestEstimator.kt

@@ -425,7 +425,7 @@ fun main(args: Array<String>) {
     // very special case when you run your project directly from IntellijIDEA omitting command line arguments
     if (args.isEmpty()) {
         processedClassesThreshold = 9999 //change to change number of classes to run
-        val timeLimit = 30 // increase if you want to debug something
+        val timeLimit = 20 // increase if you want to debug something
         val fuzzingRatio = 0.1 // sets fuzzing ratio to total test generation
 
         // Uncomment it for debug purposes:
@@ -446,7 +446,7 @@ fun main(args: Array<String>) {
 
         // config for SBST 2022
         methodFilter = null
-        projectFilter = listOf("seata-core-0.5.0")
+        projectFilter = listOf("fastjson-1.2.50", "guava-26.0", "seata-core-0.5.0", "spoon-core-7.0.0")
         // TODO usvm-sbft-merge: add if here if we want merge contest it into main
         tools = listOf(Tool.USVM)
 

utbot-junit-contest/src/main/kotlin/org/utbot/contest/usvm/converter/ConverterUtils.kt

@@ -68,11 +68,7 @@ val JcType?.classId: ClassId
     get() {
         if (this !is JcPrimitiveType) {
             return runCatching {
-                this
-                    ?.replaceToBoundIfGeneric()
-                    ?.toJavaClass(utContext.classLoader, initialize = false)
-                    ?.id
-                    ?: error("Can not construct classId for $this")
+                this?.replaceToBoundIfGeneric()?.toJavaClass(utContext.classLoader)?.id ?: error("Can not construct classId for $this")
             }.getOrElse { e ->
                 throw IllegalStateException("JcType.classId failed on ${this?.typeName}", e)
             }
@@ -94,7 +90,7 @@ val JcType?.classId: ClassId
     }
 
 val JcClassOrInterface.classId: ClassId
-    get() = this.toJavaClass(utContext.classLoader, initialize = false).id
+    get() = this.toJavaClass(utContext.classLoader).id
 
 fun TypeName.findClassId(classpath: JcClasspath): ClassId =
     classpath.findTypeOrNull(this.typeName)?.classId