Removed Soot initialization (#2707)

Damtev · web-flow · commit 69c273f63e26 · 2023-12-01T13:41:17.000+03:00
* Disabled Soot initialization for usvm competition

* Changed logging messages for jacodb initialization
diff --git a/utbot-junit-contest/src/main/kotlin/org/utbot/contest/Contest.kt b/utbot-junit-contest/src/main/kotlin/org/utbot/contest/Contest.kt
@@ -125,7 +125,8 @@ fun main(args: Array<String>) {
     withUtContext(context) {
         // Initialize the soot before a contest is started.
         // This saves the time budget for real work instead of soot initialization.
-        TestCaseGenerator(listOf(classfileDir), classpathString, dependencyPath, JdkInfoService.provide())
+        // TODO usvm-sbft-merge: Soot is not not used in usvm
+        // TestCaseGenerator(listOf(classfileDir), classpathString, dependencyPath, JdkInfoService.provide())
 
 //        TODO usvm-sbft-merge: utbot instrumentation not used in usvm
 //        logger.info().measureTime({ "warmup: kotlin reflection :: init" }) {
diff --git a/utbot-junit-contest/src/main/kotlin/org/utbot/contest/usvm/ContestUsvm.kt b/utbot-junit-contest/src/main/kotlin/org/utbot/contest/usvm/ContestUsvm.kt
@@ -147,18 +147,18 @@ fun runUsvmGeneration(
         )
     )
 
+    logger.info().measureTime({ "Contest preparation: ensure JacoDB is initialized (NOT counted in time budget)" }) {
+        jcContainer // force init lazy property
+    }
+    logger.info().measureTime({ "Contest preparation: ensure executor is started (NOT counted in time budget)" }) {
+        jcContainer.runner.ensureRunnerAlive()
+    }
+
     logger.info().measureTime({ "class ${cut.fqn}" }, { statsForClass }) {
         val filteredMethods = logger.info().measureTime({ "preparation class ${cut.clazz}: kotlin reflection :: run" }) {
             prepareClass(cut.clazz, methodNameFilter)
         }
 
-        logger.info().measureTime({ "preparation: ensure JacoDB is initialized (counted in time budget)" }) {
-            jcContainer // force init lazy property
-        }
-        logger.info().measureTime({ "preparation: ensure executor is started (counted in time budget)" }) {
-            jcContainer.runner.ensureRunnerAlive()
-        }
-
         statsForClass.methodsCount = filteredMethods.size
         val methodToStats = filteredMethods.associateWith { method ->
             StatsForMethod(
