Gast.dcl 350 Bytes
Newer Older
1
definition module Gast
2 3 4 5 6 7 8 9 10 11

/*
	GAST: A Generic Automatic Software Test-system

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

12
import Math.Random, Data.GenEq
13
import Gast.Gen, Gast.GenLibTest, Gast.Testable, Gast.StdProperty, Gast.ConfSM
14

15
class Gast a | ggen{|*|}, genShow{|*|}, gPrint{|*|} a