Package at.jku.ssw.fp.sect11_3.check4j
Class Demo3_ChecksAndShrinks
- java.lang.Object
-
- at.jku.ssw.fp.sect11_3.check4j.Demo3_ChecksAndShrinks
-
public class Demo3_ChecksAndShrinks extends Object
Demo showing property-based tests with shrinking of values.- Author:
- Herbert Praehofer
-
-
Constructor Summary
Constructors Constructor Description Demo3_ChecksAndShrinks()
-
-
-
Method Detail
-
main
public static void main(String[] args)
-
-