definition module gast

/*
	GAST: A Generic Automatic Software Test-system

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

import MersenneTwister, gen, GenEq, genLibTest, testable, confSM, stdProperty