From 0dc4b81be838596c663543c42e824bee4011a3bf Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Wed, 30 Jan 2008 18:56:33 +0000 Subject: [PATCH] Corrected the item count for replicators in the QuickCheck FlowGraph tests --- common/FlowGraphTest.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/common/FlowGraphTest.hs b/common/FlowGraphTest.hs index 06c780a..8c1c8d8 100644 --- a/common/FlowGraphTest.hs +++ b/common/FlowGraphTest.hs @@ -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 )