diff --git a/src/main/scala/leon/TestGeneration.scala b/src/main/scala/leon/TestGeneration.scala index 5aeb487141d3ccb2f40ff084a1fcf7d65049f723..5c268c84da85a74f3fb5a98f9d32acb30d024317 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)