Whiley Quick Check wyqc

Parent	wyc-all
Group	org.whiley
描述	An Automated Testing Tool for Whiley.
Packaging	jar
Size	39.58 KB
文件	pom jar
网址	http://whiley.org/
发布时间	2021-09-10 11:30

dependencies

Group	Artifact	Version
${project.groupId}	wyc	0.9.6
org.whiley	jmodelgen	[0.4.0,0.5.0)
junit	junit	4.12

developers

redjamjar

David J. Pearce

licenses

Apache License, Version 2.0

https://www.apache.org/licenses/LICENSE-2.0.txt