a3/code/Gast/testOption.dcl

   1 definition module testOption
   2
   3 /*
   4         Pieter Koopman, 2010
   5         Radboud Universty, Nijmegen
   6         The Netherlands
   7         pieter@cs.ru.nl
   8 */
   9
  10 import MersenneTwister, confSM, StdMaybe
  11
  12 :: TestOption s i o
  13         = Ntests Int
  14         | Nsequences Int
  15         | Seed Int
  16         | Randoms [Int]
  17         | FixedInputs [[i]]
  18         | InputFun (RandomStream s -> [i])
  19         | OnPath Int
  20         | FSM [i] (s->[i]) // inputs state_identification
  21         | MkTrace Bool
  22         | OnTheFly
  23         | SwitchSpec (Spec s i o)
  24         | OnAndOffPath
  25         | ErrorFile String
  26         | Stop ([s] -> Bool)
  27         | Inconsistent ([o] [s] -> Maybe [String])