reset a3, kut Charlie ;)

[tt2015.git] / a3 / code / Gast / gast.dcl

diff --git a/a3/code/Gast/gast.dcl b/a3/code/Gast/gast.dcl
new file mode 100644 (file)
index 0000000..0fa98b0
--- /dev/null
+++ b/a3/code/Gast/gast.dcl
@@ -0,0 +1,12 @@
+definition module gast\r
+\r
+/*\r
+       GAST: A Generic Automatic Software Test-system\r
+\r
+       Pieter Koopman, 2004-2010\r
+       Radboud Universty, Nijmegen\r
+       The Netherlands\r
+       pieter@cs.ru.nl\r
+*/\r
+\r
+import MersenneTwister, gen, GenEq, genLibTest, testable, confSM, stdProperty
\ No newline at end of file