From 76e3a9b6154c894eb299ed7a6e49fd6b858428ee Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Wed, 30 Jan 2008 20:16:05 +0000 Subject: [PATCH] Corrected FlowGraphTest so it generates replicators inside IFs, not CASEs --- common/FlowGraphTest.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/common/FlowGraphTest.hs b/common/FlowGraphTest.hs index 9d8924c..d4a5297 100644 --- a/common/FlowGraphTest.hs +++ b/common/FlowGraphTest.hs @@ -551,7 +551,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) + ,cond (onlyP allowed || onlyC allowed || onlyA allowed) (4, genElem3 A.Rep m genReplicator . genStructured allowed . sub3) -- Specs currently don't work with Case statements TODO