Uses of Package
at.jku.ssw.fp.sect11_3.check4j
-
Packages that use at.jku.ssw.fp.sect11_3.check4j Package Description at.jku.ssw.fp.sect11_3.check4j -
Classes in at.jku.ssw.fp.sect11_3.check4j used by at.jku.ssw.fp.sect11_3.check4j Class Description Gen Functional interface for random value generators.Property A property object in a property-based test.Result Test result with the list of successful test values and an optional failed value.Shrinker Interface for shrinkers.