Commit 22fca61a authored by Bas Lijnse's avatar Bas Lijnse

Added a missing file from the Pieter's updated version to make the test program work.

parent abf857b0
......@@ -11,22 +11,12 @@ definition module Gast.ConfSM
pieter@cs.ru.nl
*/
import StdFile
import Math.Random, Data.Maybe
import Gast.Testable, Gast.Gen
import StdEnv, Math.Random , Gast.Gen, Gast.GenLibTest, Gast.Testable, Data.Maybe
:: Spec state input output :== state input -> [Trans output state]
:: Trans output state = Pt [output] state | Ft ([output]->[state])
derive genShow Trans
:: IUTstep t i o :== t -> .(i -> .([o],t))
SpectoIUTstep :: (Spec t i o) (t i -> [[o]]) -> IUTstep (t,RandomStream) i o | genShow{|*|} t & genShow{|*|} i & genShow{|*|} o
toSpec :: (state input -> [(state,[output])]) -> Spec state input output
genLongInputs :: s (Spec s i o) [i] Int [Int] -> [[i]]
generateFSMpaths :: s (Spec s i o) [i] (s->[i]) -> [[i]] | gEq{|*|} s
:: TestOption s i o
= Ntests Int
| Nsequences Int
......@@ -35,18 +25,27 @@ generateFSMpaths :: s (Spec s i o) [i] (s->[i]) -> [[i]] | gEq{|*|} s
| FixedInputs [[i]]
| InputFun (RandomStream s -> [i])
| OnPath Int
// | OutputFun ([s] i -> o)
| FSM [i] (s->[i]) // inputs state_identification
| MkTrace Bool
| OnTheFly
| SwitchSpec (Spec s i o)
| OnAndOffPath
| ErrorFile String
| TStop ([s] -> Bool)
| StopStates ([s] -> Bool)
| Inconsistent ([o] [s] -> Maybe [String])
| Shrink Bool
:: IUTstep t i o :== t -> .(i -> .([o],t))
SpectoIUTstep :: (Spec t i o) (t i -> [[o]]) -> IUTstep (t,RandomStream) i o | genShow{|*|} t & genShow{|*|} i & genShow{|*|} o
toSpec :: (state input -> [(state,[output])]) -> Spec state input output
genLongInputs :: s (Spec s i o) [i] Int [Int] -> [[i]]
generateFSMpaths :: s (Spec s i o) [i] (s->[i]) -> [[i]] | gEq{|*|} s
testConfSM :: [TestOption s i o] (Spec s i o) s (IUTstep .t i o) .t (.t->.t) *d -> (.t,*d)
| FileSystem d & ggen{|*|} i & gEq{|*|} s & gEq{|*|} o & genShow{|*|} s & genShow{|*|} i & genShow{|*|} o
| FileSystem d & gEq{|*|}, gLess{|*|}, genShow{|*|} s & gEq{|*|}, genShow{|*|} o & ggen{|*|}, genShow{|*|} i // & genType{|*|} i
// | FileSystem d & ggen{|*|} i & gEq{|*|} s & gEq{|*|} o & genShow{|*|} s & genShow{|*|} i & genShow{|*|} o
//testConfSM :: [TestOption s i o] (Spec s i o) s (IUTstep .t i o) .t (.t->.t) *File *File -> (.t,*File,*File)
// | ggen{|*|} i & gEq{|*|} s & gEq{|*|} o & genShow{|*|} s & genShow{|*|} i & genShow{|*|} o
......
This diff is collapsed.
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment