NonDex

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
Last Version

Last Version

1.1.2
Release Date

Release Date

Type

Type

pom
Description

Description

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

Project URL

https://github.com/TestingResearchIllinois/NonDex

Download nondex

Filename Size
nondex-1.1.2.pom 6 KB
Browse

How to add to project

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

Dependencies

test (1)

Group / Artifact Type Version
junit : junit jar 4.12

Project Modules

  • nondex-instrumentation
  • nondex-core
  • nondex-test
  • nondex-common
  • nondex-maven-plugin
  • nondex-annotations

Versions

Version
1.1.2
1.1.1
1.1.0
1.0.1
1.0.0