Package org.mpi_sws.jmc.checker

package org.mpi_sws.jmc.checker

Defines core classes of the JMC checker framework.

Related Packages

Package	Description
org.mpi_sws.jmc.checker.exceptions	Defines exceptions used in the JMC Checker module.

Class	Description
JmcCheckerConfiguration	Configuration for the JMC checker.
JmcCheckerConfiguration.Builder	Builder for JmcCheckerConfiguration
JmcFunctionalTestTarget	A functional test target for JMC that allows invoking a target method.
JmcFunctionalTestTarget.Target	Represents a target for JMC.
JmcModelChecker	The JmcModelChecker class is responsible for managing the model checking process.
JmcModelCheckerReport	The JmcModelCheckerReport class represents a report generated by the JMC model checker.
JmcTestTarget	Represents a target for JMC.