Sort.java File Reference

Go to the source code of this file.

Classes
class	examples.quickcheck.Sort
	Illustrates the shrinking process when testing a procedure that sorts lists of numbers. More...
class	examples.quickcheck.Sort.FaultySort< T >
	A deliberately faulty implementation of insertion sort.

Packages
package	examples.quickcheck
	Examples illustrating the shrinking functionalities of Synthia.