From 203dcb8527ba3f5a791ac37e630d1b62edac2d8d Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <etienne.kneuss@epfl.ch>
Date: Fri, 19 Dec 2014 14:52:30 +0100
Subject: [PATCH] Add sizes, hide callgraph
---
src/main/scala/leon/repair/Repairman.scala | 17 ++++++++++-------
1 file changed, 10 insertions(+), 7 deletions(-)
diff --git a/src/main/scala/leon/repair/Repairman.scala b/src/main/scala/leon/repair/Repairman.scala
index 7278c3097..818dbb9a7 100644
--- a/src/main/scala/leon/repair/Repairman.scala
+++ b/src/main/scala/leon/repair/Repairman.scala
@@ -114,8 +114,11 @@ class Repairman(ctx: LeonContext, initProgram: Program, fd: FunDef, verifTimeout
val body = fd.body.get;
+
val (newBody, replacedExpr) = focusRepair(program, fd, passingTests, failingTests)
fd.body = Some(newBody)
+ reporter.info("Original body size: "+formulaSize(body))
+ reporter.info("Focused expr size : "+formulaSize(replacedExpr))
val guide = Guide(replacedExpr)
@@ -184,13 +187,13 @@ class Repairman(ctx: LeonContext, initProgram: Program, fd: FunDef, verifTimeout
val test2Tests : Map[FI, Set[FI]] = testEval.fullCallGraph
- println("CALL GRAPH")
- for {
- ((fi, args), tos) <- test2Tests
- (tofi, toArgs) <- tos
- }{
- println(s"${fi.id}(${args mkString ", "}) ----> ${tofi.id}(${toArgs mkString ", "})")
- }
+ //println("CALL GRAPH")
+ //for {
+ // ((fi, args), tos) <- test2Tests
+ // (tofi, toArgs) <- tos
+ //}{
+ // println(s"${fi.id}(${args mkString ", "}) ----> ${tofi.id}(${toArgs mkString ", "})")
+ //}
def isFailing(fi : FI) = !testEval.fiStatus(fi) && (fi._1 == fd)
val failing = test2Tests filter { case (from, to) =>
--
GitLab