From f79c3607581e9ad7390ed94c1ff27c3e8e1d7121 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Wed, 16 May 2012 10:32:33 +0200
Subject: [PATCH] remove commented code that is no longer useful
---
src/main/scala/leon/CallGraph.scala | 17 -----------------
1 file changed, 17 deletions(-)
diff --git a/src/main/scala/leon/CallGraph.scala b/src/main/scala/leon/CallGraph.scala
index a0455a3d3..6e7192bc2 100644
--- a/src/main/scala/leon/CallGraph.scala
+++ b/src/main/scala/leon/CallGraph.scala
@@ -222,23 +222,6 @@ class CallGraph(val program: Program) {
out.close
}
- //def analyse(program: Program) {
- // z3Solver.setProgram(program)
- // reporter.info("Running test generation")
- // val allFuns = program.definedFunctions
- // allFuns.foreach(fd => {
- // val testcases = generateTestCases(fd)
- // reporter.info("Running " + fd.id + " with the following testcases:\n")
- // reporter.info(testcases.mkString("\n"))
- // })
- //}
-
- //private def generatePathConditions(funDef: FunDef): Seq[Expr] = if(!funDef.hasImplementation) Seq() else {
- // val body = funDef.body.get
- // val cleanBody = expandLets(matchToIfThenElse(body))
- // collectWithPathCondition(cleanBody)
- //}
-
}
//def hoistIte(expr: Expr): (Seq[Expr] => Expr, Seq[Expr]) = expr match {
--
GitLab