License |
License |
---|---|
GroupId | GroupIdorg.whiley |
ArtifactId | ArtifactIdwyqc |
Version | Version0.9.9 |
Type | Typejar |
Description |
DescriptionWhiley Quick Check
An Automated Testing Tool for Whiley.
|
Project URL |
Project URL |
Filename | Size |
---|---|
wyqc-0.9.9.pom | |
wyqc-0.9.9.jar | 40 KB |
wyqc-0.9.9-sources.jar | 17 KB |
wyqc-0.9.9-javadoc.jar | 459 KB |
Browse |
<!-- https://jarcasting.com/artifacts/org.whiley/wyqc/ -->
<dependency>
<groupId>org.whiley</groupId>
<artifactId>wyqc</artifactId>
<version>0.9.9</version>
</dependency>
// https://jarcasting.com/artifacts/org.whiley/wyqc/
implementation 'org.whiley:wyqc:0.9.9'
// https://jarcasting.com/artifacts/org.whiley/wyqc/
implementation ("org.whiley:wyqc:0.9.9")
'org.whiley:wyqc:jar:0.9.9'
<dependency org="org.whiley" name="wyqc" rev="0.9.9">
<artifact name="wyqc" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.whiley', module='wyqc', version='0.9.9')
)
libraryDependencies += "org.whiley" % "wyqc" % "0.9.9"
[org.whiley/wyqc "0.9.9"]
Group / Artifact | Type | Version |
---|---|---|
org.whiley : wyc | jar | 0.9.9 |
org.whiley : jmodelgen | jar | [0.4.0,0.5.0) |
org.whiley : jbuildfs | jar | 1.0.1 |
Group / Artifact | Type | Version |
---|---|---|
junit : junit | jar | 4.12 |