JUnit integration for P specifications runtime verification

Compile Dependencies (4)

Category/LicenseGroup / ArtifactVersionUpdates
MIT
io.github.p-org » pobserve-commons
Common utilities for PObserve runtime monitoring
1.0.0
Logging Apache 2.0
org.apache.logging.log4j » log4j-core3 vulnerabilities
Implementation for Apache Log4J, a highly configurable logging tool that focuses on performance and low garbage ...
2.20.02.26.1
Testing EPL 2.0
org.junit.jupiter » junit-jupiter-api
JUnit Jupiter is the API for writing tests using JUnit 5.
5.9.26.1.3
Logging MIT
org.slf4j » slf4j-api
API for SLF4J (The Simple Logging Facade for Java) which serves as a simple facade or abstraction for various logging ...
2.0.52.0.18

Test Dependencies (3)

Category/LicenseGroup / ArtifactVersionUpdates
Logging Bridge Apache 2.0
org.apache.logging.log4j » log4j-slf4j2-impl
The Apache Log4j SLF4J 2.0 API binding to Log4j 2 Core
2.20.02.26.1
Testing EPL 2.0
org.junit.jupiter » junit-jupiter-params
JUnit Jupiter extension for running parameterized tests.
5.9.26.1.3
Testing EPL 2.0
org.junit.jupiter » junit-jupiter-engine
Core package for the JUnit Jupiter test engine.
5.9.26.1.3