definition module gast

/*
	GAST: A Generic Automatic Software Test-system

	Pieter Koopman, 2004-2008
	Radboud Universty, Nijmegen
	The Netherlands
	pieter@cs.ru.nl
*/

import Math.Random, gen, GenEq, genLibTest, testable, confSM, stdProperty