Skip to content
Snippets Groups Projects
Commit 6642b923 authored by Régis Blanc's avatar Régis Blanc
Browse files

test if function is main

parent e2a9013a
No related branches found
No related tags found
No related merge requests found
...@@ -19,7 +19,6 @@ class TestGeneration(reporter: Reporter) extends Analyser(reporter) { ...@@ -19,7 +19,6 @@ class TestGeneration(reporter: Reporter) extends Analyser(reporter) {
def analyse(program: Program) { def analyse(program: Program) {
z3Solver.setProgram(program) z3Solver.setProgram(program)
reporter.info("Running test generation") reporter.info("Running test generation")
program.definedFunctions.foreach(fd => println(fd.annotations))
val testcases = generateTestCases(program) val testcases = generateTestCases(program)
...@@ -49,6 +48,10 @@ class TestGeneration(reporter: Reporter) extends Analyser(reporter) { ...@@ -49,6 +48,10 @@ class TestGeneration(reporter: Reporter) extends Analyser(reporter) {
reporter.info(testcases.mkString("\n")) reporter.info(testcases.mkString("\n"))
} }
private def isMain(fd: FunDef): Boolean = {
fd.annotations.exists(_ == "main")
}
def generatePathConditions(program: Program): Set[Expr] = { def generatePathConditions(program: Program): Set[Expr] = {
val callGraph = new CallGraph(program) val callGraph = new CallGraph(program)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment