Skip to content

Commit dc8da58

Browse files
Rebase and fix
1 parent 17e6fdd commit dc8da58

File tree

2 files changed

+1
-15
lines changed

2 files changed

+1
-15
lines changed

gradle.properties

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ junit4_platform_version=1.9.0
77
mockito_version=3.5.13
88
z3_version=4.8.9.1
99
z3_java_api_version=4.8.9
10-
soot_commit_hash=2035cf6
10+
soot_commit_hash=1f34746
1111
# previous soot_commit_hash=c6c78d9
1212
kotlin_version=1.7.10
1313
log4j2_version=2.13.3

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

Lines changed: 0 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -1,19 +1,5 @@
11
package org.utbot.contest
22

3-
import kotlinx.coroutines.CancellationException
4-
import kotlinx.coroutines.CoroutineScope
5-
import kotlinx.coroutines.GlobalScope
6-
import kotlinx.coroutines.ObsoleteCoroutinesApi
7-
import kotlinx.coroutines.SupervisorJob
8-
import kotlinx.coroutines.currentCoroutineContext
9-
import kotlinx.coroutines.delay
10-
import kotlinx.coroutines.isActive
11-
import kotlinx.coroutines.job
12-
import kotlinx.coroutines.launch
13-
import kotlinx.coroutines.newSingleThreadContext
14-
import kotlinx.coroutines.runBlocking
15-
import kotlinx.coroutines.withTimeoutOrNull
16-
import kotlinx.coroutines.yield
173
import mu.KotlinLogging
184
import org.objectweb.asm.Type
195
import org.utbot.common.FileUtil

0 commit comments

Comments
 (0)