Owner:
Courtney May
Bounded model checking for JVM tests, powered by JBMC. Auto-provisions the engine.
Sources: https://github.com/bmc4j/bmc4j
Version 0.1.0
Created 05 June 2026.
Bounded model checking for JVM tests, powered by JBMC. Auto-provisions the engine.
Add this plugin to your build using the plugins DSL:
plugins {
id("org.bmc4j") version "0.1.0"
}
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("org.bmc4j:org.bmc4j.gradle.plugin:0.1.0") }It can then be applied in the precompiled script plugin:plugins { id("org.bmc4j") } -
The legacy method of plugin application.
See the relevant documentation for more information.buildscript { repositories { gradlePluginPortal() } dependencies { classpath("org.bmc4j:org.bmc4j.gradle.plugin:0.1.0") } } apply(plugin = "org.bmc4j") - Applying plugins to all subprojects .