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
Add this plugin to your build using the plugins DSL:
plugins {
id("com.sri.gradle.daikon") version "0.0.1-SNAPSHOT"
}
See also:
-
Adding the plugin to build logic for usage in precompiled script plugins.
See the relevant documentation for more information.
Add this plugin as a dependency to
<convention-plugins-build>/build.gradle(.kts)
:dependencies { implementation("com.sri.gradle.daikon:com.sri.gradle.daikon.gradle.plugin:0.0.1-SNAPSHOT") }
It can then be applied in the precompiled script plugin:plugins { id("com.sri.gradle.daikon") }
-
The legacy method of plugin application.
See the relevant documentation for more information.buildscript { repositories { gradlePluginPortal() } dependencies { classpath("com.sri.gradle.daikon:com.sri.gradle.daikon.gradle.plugin:0.0.1-SNAPSHOT") } } apply(plugin = "com.sri.gradle.daikon")
- Applying plugins to all subprojects .