Skip to content

Commit 75cd001

Browse files
committed
Correct JacoDb classpath
1 parent ab0a529 commit 75cd001

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

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

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,7 @@ import kotlinx.coroutines.runBlocking
44
import org.jacodb.api.JcClasspath
55
import org.jacodb.api.JcDatabase
66
import org.jacodb.impl.JcSettings
7+
import org.jacodb.impl.features.classpaths.UnknownClasses
78
import org.jacodb.impl.jacodb
89
import org.usvm.util.classpathWithApproximations
910
import java.io.File
@@ -19,7 +20,7 @@ class JacoDBContainer(
1920
init {
2021
val (db, cp) = runBlocking {
2122
val db = jacodb(builder)
22-
val cp = db.classpathWithApproximations(classpath)
23+
val cp = db.classpath(classpath, listOf(UnknownClasses))
2324
db to cp
2425
}
2526
this.db = db

0 commit comments

Comments
 (0)