UnitTestBot
diff --git a/‎gradle.properties‎
Lines changed: 1 addition & 1 deletion b/‎gradle.properties‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎utbot-junit-contest/src/main/kotlin/org/utbot/contest/ContestEstimator.kt‎
Lines changed: 2 additions & 2 deletions b/‎utbot-junit-contest/src/main/kotlin/org/utbot/contest/ContestEstimator.kt‎
Lines changed: 2 additions & 2 deletions
diff --git a/‎utbot-junit-contest/src/main/kotlin/org/utbot/contest/usvm/converter/ConverterUtils.kt‎
Lines changed: 6 additions & 2 deletions b/‎utbot-junit-contest/src/main/kotlin/org/utbot/contest/usvm/converter/ConverterUtils.kt‎
Lines changed: 6 additions & 2 deletions
diff --git a/‎utbot-junit-contest/src/main/resources/projects/seata/commons-lang-2.6.jar‎
-278 KB b/‎utbot-junit-contest/src/main/resources/projects/seata/commons-lang-2.6.jar‎
-278 KB
diff --git a/‎utbot-junit-contest/src/main/resources/projects/seata/commons-pool-1.6.jar‎
-109 KB b/‎utbot-junit-contest/src/main/resources/projects/seata/commons-pool-1.6.jar‎
-109 KB
diff --git a/‎utbot-junit-contest/src/main/resources/projects/seata/config-1.2.1.jar‎
-214 KB b/‎utbot-junit-contest/src/main/resources/projects/seata/config-1.2.1.jar‎
-214 KB
diff --git a/‎utbot-junit-contest/src/main/resources/projects/seata/netty-all-4.1.30.Final.jar‎
-3.71 MB b/‎utbot-junit-contest/src/main/resources/projects/seata/netty-all-4.1.30.Final.jar‎
-3.71 MB
diff --git a/‎utbot-junit-contest/src/main/resources/projects/seata/seata-common-1.2.0.jar‎
-46.3 KB b/‎utbot-junit-contest/src/main/resources/projects/seata/seata-common-1.2.0.jar‎
-46.3 KB
diff --git a/‎utbot-junit-contest/src/main/resources/projects/seata/seata-config-core-1.2.0.jar‎
-22.8 KB b/‎utbot-junit-contest/src/main/resources/projects/seata/seata-config-core-1.2.0.jar‎
-22.8 KB
diff --git a/‎utbot-junit-contest/src/main/resources/projects/seata/seata-core-1.2.0.jar‎
-205 KB b/‎utbot-junit-contest/src/main/resources/projects/seata/seata-core-1.2.0.jar‎
-205 KB
@@ -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=comp-231124-ev
+usvmVersion=2811-2
 
 # use latest Java 8 compaitable Spring and Spring Boot versions
 springVersion=5.3.28
 
@@ -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 = 20 // increase if you want to debug something
+        val timeLimit = 30 // 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("fastjson-1.2.50", "guava-26.0", "seata-core-0.5.0", "spoon-core-7.0.0")
+        projectFilter = listOf("seata-core-0.5.0")
         // TODO usvm-sbft-merge: add if here if we want merge contest it into main
         tools = listOf(Tool.USVM)
 
 
@@ -68,7 +68,11 @@ val JcType?.classId: ClassId
     get() {
         if (this !is JcPrimitiveType) {
             return runCatching {
-                this?.replaceToBoundIfGeneric()?.toJavaClass(utContext.classLoader)?.id ?: error("Can not construct classId for $this")
+                this
+                    ?.replaceToBoundIfGeneric()
+                    ?.toJavaClass(utContext.classLoader, initialize = false)
+                    ?.id
+                    ?: error("Can not construct classId for $this")
             }.getOrElse { e ->
                 throw IllegalStateException("JcType.classId failed on ${this?.typeName}", e)
             }
@@ -90,7 +94,7 @@ val JcType?.classId: ClassId
     }
 
 val JcClassOrInterface.classId: ClassId
-    get() = this.toJavaClass(utContext.classLoader).id
+    get() = this.toJavaClass(utContext.classLoader, initialize = false).id
 
 fun TypeName.findClassId(classpath: JcClasspath): ClassId =
     classpath.findTypeOrNull(this.typeName)?.classId