Gast.icl 290 Bytes
Newer Older
1
implementation module Gast
2 3 4 5 6 7 8 9 10

/*
	GAST: A Generic Automatic Software Test-system

	Pieter Koopman, 2004
	Radboud Universty, Nijmegen
	The Netherlands
	pieter@cs.ru.nl
*/
11 12
import Math.Random, Data.GenEq
import Gast.Gen, Gast.GenLibTest, Gast.Testable, Gast.StdProperty, Gast.ConfSM