tools/infer/test/autotest/build.gradle


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

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')