Last Version

NonDex 1.1.2

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
Version

Version

1.1.2
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 1.1.2

Filename Size
nondex-1.1.2.pom 6 KB
Browse

<!-- 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