buildDir "${topobjdir}/gradle/build/tools/infer/test/autotest"

apply plugin: 'java'

repositories {
    mavenCentral()
}

dependencies {
    compile "com.google.code.findbugs:jsr305:3.0.2"
}

def createSingleTask = { name ->
    task("compileInferTest${name}", type: JavaCompile) {
        source = fileTree(dir: '.', include: "src/main/java/${name}.java")
        classpath = project.configurations.compileClasspath
        destinationDir = file("${topobjdir}/gradle/build/tools/infer/test/autotest")
    }
}

createSingleTask('Biabduction')
createSingleTask('Checkers')
createSingleTask('Eradicate')
createSingleTask('Racerd')
createSingleTask('Starvation')