搜索Gradle插件

com.sri.gradle.daikon

所有者： Huascar Sanchez

动态检测可能的程序不变量

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

源代码： https://github.com/SRI-CSL/daikon-gradle-plugin.git

版本 0.0.1-SNAPSHOT（最新版本）

0.0.1-SNAPSHOT

创建于2020年11月18日。

动态检测可能的程序不变量

使用插件DSL

plugins {
  id("com.sri.gradle.daikon") version "0.0.1-SNAPSHOT"
}

使用旧插件应用

buildscript {
  repositories {
    maven {
      url = uri("https://plugins.gradle.org.cn/m2/")
    }
  }
  dependencies {
    classpath("com.sri.gradle.daikon:daikon-gradle-plugin:0.0.1-SNAPSHOT")
  }
}

apply(plugin = "com.sri.gradle.daikon")

使用插件DSL

plugins {
  id "com.sri.gradle.daikon" version "0.0.1-SNAPSHOT"
}

使用旧插件应用

buildscript {
  repositories {
    maven {
      url "https://plugins.gradle.org.cn/m2/"
    }
  }
  dependencies {
    classpath "com.sri.gradle.daikon:daikon-gradle-plugin:0.0.1-SNAPSHOT"
  }
}

apply plugin: "com.sri.gradle.daikon"

了解如何应用插件到子项目