Skip to content

Commit 9fa2921

Browse files
committed
Fix build
1 parent 7d6170c commit 9fa2921

File tree

1 file changed

+0
-2
lines changed

1 file changed

+0
-2
lines changed

usvm-core/src/main/kotlin/org/usvm/ps/BlockGraphPathSelector.kt

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -51,13 +51,11 @@ open class BlockGraphPathSelector<State : UState<*, Method, Statement, *, *, Sta
5151
protected val states: MutableList<State> = mutableListOf()
5252
private val visitedStatements = HashSet<Statement>()
5353

54-
private val filepath = Path(MainConfig.dataPath, "jsons").toString()
5554
private val filename: String
5655

5756
protected val blockGraph: BlockGraph<Method, Statement>
5857

5958
init {
60-
File(filepath).mkdirs()
6159
val method = applicationGraph.methodOf(coverageStatistics.getUncoveredStatements().first())
6260
filename = method.toString().dropWhile { it != ')' }.drop(1)
6361
blockGraph = BlockGraph(applicationGraph.entryPoints(method).first(), applicationGraph)

0 commit comments

Comments
 (0)