License |
License |
---|---|
Categories |
CategoriesNet KeY Data Data Formats Formal Verification |
GroupId | GroupIdio.github.netmikey.logunit |
ArtifactId | ArtifactIdlogunit-core |
Version | Version1.1.3 |
Type | Typepom.sha512 |
Description |
Descriptionio.github.netmikey.logunit:logunit-core
The core of the LogUnit framework, containing API and non-logframework-specific code.
|
Project URL |
Project URL |
Source Code Management |
Source Code Management |
Filename | Size |
---|---|
logunit-core-1.1.3.pom | |
logunit-core-1.1.3-sources.jar | 5 KB |
logunit-core-1.1.3-javadoc.jar | 37 KB |
Browse |
Group / Artifact | Type | Version |
---|---|---|
org.slf4j : slf4j-api | jar | 1.7.32 |
Group / Artifact | Type | Version |
---|---|---|
org.junit.jupiter : junit-jupiter-api | jar | 5.8.2 |