diff --git a/usvm-core/src/main/kotlin/org/usvm/ps/BlockGraphPathSelector.kt b/usvm-core/src/main/kotlin/org/usvm/ps/BlockGraphPathSelector.kt index 9290bd819b..f45cab5941 100644 --- a/usvm-core/src/main/kotlin/org/usvm/ps/BlockGraphPathSelector.kt +++ b/usvm-core/src/main/kotlin/org/usvm/ps/BlockGraphPathSelector.kt @@ -51,13 +51,11 @@ open class BlockGraphPathSelector = mutableListOf() private val visitedStatements = HashSet() - private val filepath = Path(MainConfig.dataPath, "jsons").toString() private val filename: String protected val blockGraph: BlockGraph init { - File(filepath).mkdirs() val method = applicationGraph.methodOf(coverageStatistics.getUncoveredStatements().first()) filename = method.toString().dropWhile { it != ')' }.drop(1) blockGraph = BlockGraph(applicationGraph.entryPoints(method).first(), applicationGraph)