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 )