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

Corrected a couple of bugs in the code for generating flow-graphs for quickcheck tests

Browse Source
This commit is contained in:
Neil Brown 2008-02-05 22:24:18 +00:00
parent c001455fc2
commit 005ee78f03
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
common/FlowGraphTest.hs
View File

@ -567,7 +567,7 @@ genChoice' :: (Int, Int -> GenL A.Choice)
genChoice' = (3, genChoice)
genOption :: Int -> GenL A.Option
genOption = comb1 (A.Else emptyMeta) . genProcess . sub1
genOption = comb1 (A.Else emptyMeta) . genProcess
genOption' :: (Int, Int -> GenL A.Option)
genOption' = (1, genOption)
@ -596,7 +596,7 @@ genStructured (no,genOnly) n = nextIdT >>* makeMeta' >>= \m -> (flip oneofLS) n
,cond (onlyC allowed) (3,comb2 (\e p -> A.Only emptyMeta $ A.Choice emptyMeta e p) genExpression . genProcess . sub2)
,cond (onlyA allowed) (4,genElem2 A.Only m . genAlternative . sub1 )
-}
(no - 1, genElem2 A.Only m . genOnly . sub1)
(no + 1, genElem2 A.Only m . genOnly . sub1)
-- Specs currently don't work with Case statements TODO
,(3,genElem3 A.Spec m genSpecification . genStructured (no, genOnly) . sub2 )