com.sri.gradle.daikon
Owner: Huascar Sanchez
Dynamic detection of likely program invariants
Sources: https://github.com/SRI-CSL/daikon-gradle-plugin.git
Version 0.0.1-SNAPSHOT (latest)
Created 18 November 2020.
Dynamic detection of likely program invariants
Using the plugins DSL:
plugins {
id("com.sri.gradle.daikon") version "0.0.1-SNAPSHOT"
}
Using legacy plugin application:
buildscript {
repositories {
maven {
url = uri("https://plugins.gradle.org/m2/")
}
}
dependencies {
classpath("com.sri.gradle.daikon:daikon-gradle-plugin:0.0.1-SNAPSHOT")
}
}
apply(plugin = "com.sri.gradle.daikon")
Using the plugins DSL:
plugins {
id "com.sri.gradle.daikon" version "0.0.1-SNAPSHOT"
}
Using legacy plugin application:
buildscript {
repositories {
maven {
url "https://plugins.gradle.org/m2/"
}
}
dependencies {
classpath "com.sri.gradle.daikon:daikon-gradle-plugin:0.0.1-SNAPSHOT"
}
}
apply plugin: "com.sri.gradle.daikon"