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

Corrected the item count for replicators in the QuickCheck FlowGraph tests

Browse Source
This commit is contained in:
Neil Brown 2008-01-30 18:56:33 +00:00
parent 45a8fa0b88
commit 0dc4b81be8
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

@ -552,7 +552,7 @@ genStructured allowed n = nextIdT >>* makeMeta' >>= \m -> (flip oneofLS) n
--Replicators are allowed in ALTs, IFs, SEQs and PARs:
,cond (onlyP allowed || onlyO allowed || onlyA allowed)
(5, genElem3 A.Rep m genReplicator . genStructured allowed . sub3)
(4, genElem3 A.Rep m genReplicator . genStructured allowed . sub3)
-- Specs currently don't work with Case statements TODO
,cond (not $ onlyO allowed) (3,genElem3 A.Spec m genSpecification . genStructured allowed . sub2 )