Skip to content

Commit 69c273f

Browse files
authored
Removed Soot initialization (#2707)
* Disabled Soot initialization for usvm competition * Changed logging messages for jacodb initialization
1 parent 2933a0c commit 69c273f

File tree

2 files changed

+9
-8
lines changed

2 files changed

+9
-8
lines changed

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

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -125,7 +125,8 @@ fun main(args: Array<String>) {
125125
withUtContext(context) {
126126
// Initialize the soot before a contest is started.
127127
// This saves the time budget for real work instead of soot initialization.
128-
TestCaseGenerator(listOf(classfileDir), classpathString, dependencyPath, JdkInfoService.provide())
128+
// TODO usvm-sbft-merge: Soot is not not used in usvm
129+
// TestCaseGenerator(listOf(classfileDir), classpathString, dependencyPath, JdkInfoService.provide())
129130

130131
// TODO usvm-sbft-merge: utbot instrumentation not used in usvm
131132
// logger.info().measureTime({ "warmup: kotlin reflection :: init" }) {

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

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -147,18 +147,18 @@ fun runUsvmGeneration(
147147
)
148148
)
149149

150+
logger.info().measureTime({ "Contest preparation: ensure JacoDB is initialized (NOT counted in time budget)" }) {
151+
jcContainer // force init lazy property
152+
}
153+
logger.info().measureTime({ "Contest preparation: ensure executor is started (NOT counted in time budget)" }) {
154+
jcContainer.runner.ensureRunnerAlive()
155+
}
156+
150157
logger.info().measureTime({ "class ${cut.fqn}" }, { statsForClass }) {
151158
val filteredMethods = logger.info().measureTime({ "preparation class ${cut.clazz}: kotlin reflection :: run" }) {
152159
prepareClass(cut.clazz, methodNameFilter)
153160
}
154161

155-
logger.info().measureTime({ "preparation: ensure JacoDB is initialized (counted in time budget)" }) {
156-
jcContainer // force init lazy property
157-
}
158-
logger.info().measureTime({ "preparation: ensure executor is started (counted in time budget)" }) {
159-
jcContainer.runner.ensureRunnerAlive()
160-
}
161-
162162
statsForClass.methodsCount = filteredMethods.size
163163
val methodToStats = filteredMethods.associateWith { method ->
164164
StatsForMethod(

0 commit comments

Comments
 (0)