Search Gradle plugins

com.sri.gradle.daikon

Owner: Huascar Sanchez

Dynamic detection of likely program invariants

http://github.com/SRI-CSL/

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 "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 = 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")

Learn how to apply plugins to subprojects