Search Gradle plugins

Bounded model checking for JVM tests, powered by JBMC. Auto-provisions the engine.

https://bmc4j.org

Sources: https://github.com/bmc4j/bmc4j

Version 0.1.2 (latest)

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.2"
}

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.2")
    }
    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.2")
      }
    }
    
    apply(plugin = "org.bmc4j")
  • Applying plugins to all subprojects .