Remove strange hack to discuss later

EgorkaKulikov · EgorkaKulikov · commit e0f708006066 · 2023-11-23T18:17:26.000+03:00
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
@@ -90,7 +90,6 @@ fun runUsvmGeneration(
         ) {
             // TODO usvm-sbft: we may want to tune these JcSettings for contest
             useJavaRuntime(JdkInfoService.provide().path.toFile())
-            persistent("cachedb")
             installFeatures(InMemoryHierarchy, Approximations)
             loadByteCode(classpathFiles)
         }

Original file line number	Diff line number	Diff line change
`@@ -90,7 +90,6 @@ fun runUsvmGeneration(`
`90`	`90`	`) {`
`91`	`91`	`// TODO usvm-sbft: we may want to tune these JcSettings for contest`
`92`	`92`	`useJavaRuntime(JdkInfoService.provide().path.toFile())`
`93`		`- persistent("cachedb")`
`94`	`93`	`installFeatures(InMemoryHierarchy, Approximations)`
`95`	`94`	`loadByteCode(classpathFiles)`
`96`	`95`	`}`