JarCasting
JarCasting JarCasting

edu.illinois:nondex-annotations

A tool for finding strong assumptions on APIs with non-deterministic specifications.

License

License
Categories

Categories

Dex General Purpose Libraries Utility
GroupId

GroupId

edu.illinois
ArtifactId

ArtifactId

nondex-annotations
Last Version

Last Version

1.1.2
Release Date

Release Date
Type

Type

jar
Description

Description

A tool for finding strong assumptions on APIs with non-deterministic specifications.

Download nondex-annotations

Filename Size
nondex-annotations-1.1.2.pom
nondex-annotations-1.1.2.jar 2 KB
nondex-annotations-1.1.2-sources.jar 2 KB
nondex-annotations-1.1.2-javadoc.jar 21 KB
Browse

How to add to project

<!-- https://jarcasting.com/artifacts/edu.illinois/nondex-annotations/ -->
<dependency>
    <groupId>edu.illinois</groupId>
    <artifactId>nondex-annotations</artifactId>
    <version>1.1.2</version>
</dependency>
// https://jarcasting.com/artifacts/edu.illinois/nondex-annotations/
implementation 'edu.illinois:nondex-annotations:1.1.2'
// https://jarcasting.com/artifacts/edu.illinois/nondex-annotations/
implementation ("edu.illinois:nondex-annotations:1.1.2")
'edu.illinois:nondex-annotations:jar:1.1.2'
<dependency org="edu.illinois" name="nondex-annotations" rev="1.1.2">
  <artifact name="nondex-annotations" type="jar" />
</dependency>
@Grapes(
@Grab(group='edu.illinois', module='nondex-annotations', version='1.1.2')
)
libraryDependencies += "edu.illinois" % "nondex-annotations" % "1.1.2"
[edu.illinois/nondex-annotations "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.
edu.illinois

Versions

Version
1.1.2