JarCastingnondex-instrumentation
A tool for finding strong assumptions on APIs with non-deterministic specifications.
| License |
License |
|---|---|
| Categories |
CategoriesDex General Purpose Libraries Utility |
| GroupId | GroupIdedu.illinois |
| ArtifactId | ArtifactIdnondex-instrumentation |
| Last Version | Last Version1.1.2 |
| Release Date | Release Date |
| Type | Typejar |
| Description |
Descriptionnondex-instrumentation
A tool for finding strong assumptions on APIs with non-deterministic specifications.
|
Download nondex-instrumentation
How to add to project
<!-- https://jarcasting.com/artifacts/edu.illinois/nondex-instrumentation/ -->
<dependency>
<groupId>edu.illinois</groupId>
<artifactId>nondex-instrumentation</artifactId>
<version>1.1.2</version>
</dependency>// https://jarcasting.com/artifacts/edu.illinois/nondex-instrumentation/
implementation 'edu.illinois:nondex-instrumentation:1.1.2'// https://jarcasting.com/artifacts/edu.illinois/nondex-instrumentation/
implementation ("edu.illinois:nondex-instrumentation:1.1.2")'edu.illinois:nondex-instrumentation:jar:1.1.2'<dependency org="edu.illinois" name="nondex-instrumentation" rev="1.1.2">
<artifact name="nondex-instrumentation" type="jar" />
</dependency>@Grapes(
@Grab(group='edu.illinois', module='nondex-instrumentation', version='1.1.2')
)libraryDependencies += "edu.illinois" % "nondex-instrumentation" % "1.1.2"[edu.illinois/nondex-instrumentation "1.1.2"]Dependencies
test (1)
| Group / Artifact | Type | Version |
|---|---|---|
| junit : junit | jar | 4.12 |
Project Modules
There are no modules declared in this project.
