jqwik

jqwik is a property-based library for the JVM. It's implemented as a test enginge for the JUnit 5 platform.

jqwik's Shrinking Approach

jqwik derives shrinking behaviour directly from a generator's specification. That means that users get shrinking for free if they just compose the built-in generators (aka arbitraries).

jqwik also goes for Integrated Shrinking, which means that all constraints from value generation are also considered during shrinking.

Implemented Challenges

Challenge	Code	Report
bound5	Bound5Properties.java	bound5.md
large union list	LargeUnionListProperties.java	large_union_list.md
reverse	ReverseProperties.java	reverse.md
calculator	CalculatorProperties.java	calculator.md
length list	LengthListProperties.java	lengthlist.md
difference	DifferenceProperties.java	difference_must_not_be_zero.md
		difference_must_not_be_one.md
		difference_must_not_be_small.md
binheap	BinheapProperties.java	binheap.md
coupling	CouplingProperties.java	coupling.md
deletion	DeletionProperties.java	deletion.md
distinct	DistinctProperties.java	distinct.md
nestedlists	NestedListsProperties.java	nestedlists.md

Running examples

You need Java >= 11.

cd pbt-libraries/jqwik
./gradlew test