Examples illustrating the shrinking functionalities of Synthia. More...

Classes
class	Prime
	Simple illustration of the shrinking process on randomly generated integers. More...

class	Sort
	Illustrates the shrinking process when testing a procedure that sorts lists of numbers. More...

Detailed Description

Examples illustrating the shrinking functionalities of Synthia.

Classes