suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Adjusted the QuickCheck tests, now that Alt is handled properly

Browse Source
This commit is contained in:
Neil Brown 2008-02-26 14:34:46 +00:00
parent b4ee07a3a7
commit bca3f89872
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
common/FlowGraphTest.hs
View File

@ -690,7 +690,7 @@ genProcess n = nextIdT >>* makeMeta' >>= \m -> (flip oneofLS) n
,(2,const $ genElem3 A.Assign m (comb0 [variable "x"]) genExpressionList) ,(2,const $ genElem3 A.Assign m (comb0 [variable "x"]) genExpressionList)
,(1,const $ genElem2 A.GetTime m (comb0 $ variable "x")) ,(1,const $ genElem2 A.GetTime m (comb0 $ variable "x"))
,(1,const $ genElem3 A.Wait m (comb0 A.WaitFor) genExpression) ,(1,const $ genElem3 A.Wait m (comb0 A.WaitFor) genExpression)
,(2,genElem3 A.Alt m (comb0 True) . genStructured genAlternative' . sub1) ,(2,comb1 (A.Alt emptyMeta True) . genStructured genAlternative' . sub1)
] ]
genProcess' :: (Int, Int -> GenL A.Process) genProcess' :: (Int, Int -> GenL A.Process)