All Classes and Interfaces

Classes

Class	Description
BmcExtensionConfig	The bmc { } DSL block.
BmcExtensionConfig.ModelSpec	The models { conformant(...) / domain(...) } DSL block.
BmcPlugin	Wires bounded model checking into a JVM project.
BmcStubReportTask	Aggregates the nondet stubs harvested across the proof suite into a ranked "most-hit unmodeled methods" report — a data-driven bmc-models backlog.