a3/code/Gast/gast.dcl

   1 definition module gast
   2
   3 /*
   4         GAST: A Generic Automatic Software Test-system
   5
   6         Pieter Koopman, 2004-2010
   7         Radboud Universty, Nijmegen
   8         The Netherlands
   9         pieter@cs.ru.nl
  10 */
  11
  12 import MersenneTwister, gen, GenEq, genLibTest, testable, confSM, stdProperty