Package at.jku.ssw.fp.sect11_3.check4j
-
Interface Summary Interface Description Gen<A> Functional interface for random value generators.Shrinker<A> Interface for shrinkers. -
Class Summary Class Description Demo2_Checks Demo showing property-based tests.Demo3_ChecksAndShrinks Demo showing property-based tests with shrinking of values.Gens Class with variables and methods providing various generators.Property<A> A property object in a property-based test.Result<A> Test result with the list of successful test values and an optional failed value.Shrinkers Class providing shrinkers for various value types.