Correct JacoDb classpath

EgorkaKulikov · EgorkaKulikov · commit eaf85e98dcf6 · 2023-11-20T16:48:58.000+03:00
diff --git a/utbot-junit-contest/src/main/kotlin/org/utbot/contest/usvm/JacoDBContainer.kt b/utbot-junit-contest/src/main/kotlin/org/utbot/contest/usvm/JacoDBContainer.kt
@@ -20,6 +20,7 @@ class JacoDBContainer(
     init {
         val (db, cp) = runBlocking {
             val db = jacodb(builder)
+            // TODO usvm-sbft: use classpathWithApproximations here
             val cp = db.classpath(classpath, listOf(UnknownClasses))
             db to cp
         }

Original file line number	Diff line number	Diff line change
`@@ -20,6 +20,7 @@ class JacoDBContainer(`
`20`	`20`	`init {`
`21`	`21`	`val (db, cp) = runBlocking {`
`22`	`22`	`val db = jacodb(builder)`
	`23`	`+ // TODO usvm-sbft: use classpathWithApproximations here`
`23`	`24`	`val cp = db.classpath(classpath, listOf(UnknownClasses))`
`24`	`25`	`db to cp`
`25`	`26`	`}`