From 2e4547cd7db459919fa7d9dafec785a247e2c064 Mon Sep 17 00:00:00 2001
From: "Emmanouil (Manos) Koukoutos" <emmanouil.koukoutos@epfl.ch>
Date: Fri, 6 Feb 2015 16:11:22 +0100
Subject: [PATCH] Make sure repair folder is not null
---
src/main/scala/leon/repair/RepairResult.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/repair/RepairResult.scala b/src/main/scala/leon/repair/RepairResult.scala
index 176c85c98..85dc7a5d5 100644
--- a/src/main/scala/leon/repair/RepairResult.scala
+++ b/src/main/scala/leon/repair/RepairResult.scala
@@ -15,7 +15,7 @@ case class RepairResult(f: File,
repairTrusted: Option[Boolean] = None) {
def toLine = {
- val benchCat = f.getParentFile().getName()
+ val benchCat = f.getAbsoluteFile().getParentFile().getName()
val benchName = f.getName()
val benchFun = name
--
GitLab