somme ex2 and ex3 text

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

diff --git a/a3/code/Gast/testOption.dcl b/a3/code/Gast/testOption.dcl
deleted file mode 100644 (file)
index 2b84d5c..0000000
--- a/a3/code/Gast/testOption.dcl
+++ /dev/null
@@ -1,27 +0,0 @@
-definition module testOption\r
-\r
-/*\r
-       Pieter Koopman, 2010\r
-       Radboud Universty, Nijmegen\r
-       The Netherlands\r
-       pieter@cs.ru.nl\r
-*/\r
-\r
-import MersenneTwister, confSM, StdMaybe\r
-\r
-:: TestOption s i o\r
-       = Ntests Int\r
-       | Nsequences Int\r
-       | Seed Int\r
-       | Randoms [Int]\r
-       | FixedInputs [[i]]\r
-       | InputFun (RandomStream s -> [i])\r
-       | OnPath Int\r
-       | FSM [i] (s->[i]) // inputs state_identification\r
-       | MkTrace Bool\r
-       | OnTheFly\r
-       | SwitchSpec (Spec s i o)\r
-       | OnAndOffPath\r
-       | ErrorFile String\r
-       | Stop ([s] -> Bool)\r
-       | Inconsistent ([o] [s] -> Maybe [String])
\ No newline at end of file