reset a3, kut Charlie ;)

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

diff --git a/a3/code/Gast/testOption.dcl b/a3/code/Gast/testOption.dcl
new file mode 100644 (file)
index 0000000..2b84d5c
--- /dev/null
+++ b/a3/code/Gast/testOption.dcl
@@ -0,0 +1,27 @@
+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