/InvariantsPluginGradle

A plugin for Gradle to run code analysis and daikon to extract invariants of Java methods

Primary LanguageKotlinBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

Stargazers