From 6642b923557122d51d7d579876bf6aea73a8cb3e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Wed, 20 Jun 2012 18:59:39 +0200
Subject: [PATCH] test if function is main
---
src/main/scala/leon/TestGeneration.scala | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/src/main/scala/leon/TestGeneration.scala b/src/main/scala/leon/TestGeneration.scala
index 5aeb48714..5c268c84d 100644
--- a/src/main/scala/leon/TestGeneration.scala
+++ b/src/main/scala/leon/TestGeneration.scala
@@ -19,7 +19,6 @@ class TestGeneration(reporter: Reporter) extends Analyser(reporter) {
def analyse(program: Program) {
z3Solver.setProgram(program)
reporter.info("Running test generation")
- program.definedFunctions.foreach(fd => println(fd.annotations))
val testcases = generateTestCases(program)
@@ -49,6 +48,10 @@ class TestGeneration(reporter: Reporter) extends Analyser(reporter) {
reporter.info(testcases.mkString("\n"))
}
+ private def isMain(fd: FunDef): Boolean = {
+ fd.annotations.exists(_ == "main")
+ }
+
def generatePathConditions(program: Program): Set[Expr] = {
val callGraph = new CallGraph(program)
--
GitLab