Package org.mpi_sws.jmc.integrations.junit5.engine

package org.mpi_sws.jmc.integrations.junit5.engine

Defines a custom JUnit 5 engine for running JMC tests.

This package provides the definition of a custom JUnit 5 engine that allows for the execution of JMC tests

Classes

Class	Description
JmcTestEngine	A custom JUnit 5 test engine for running JMC tests.
JmcTestExecutor	Executes a JMC test method using the JMC Model Checker.