implementation module gast

/*
	GAST: A Generic Automatic Software Test-system

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