From e4b1c98dd681fdecc3fc6dba115a47f9d8251486 Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Thu, 11 Sep 2008 21:53:40 +0000 Subject: [PATCH] Removed while loops from one of the quickcheck tests now that they behave in a more complex fashion --- flow/FlowGraphTest.hs | 1 - 1 file changed, 1 deletion(-) diff --git a/flow/FlowGraphTest.hs b/flow/FlowGraphTest.hs index 89c09fc..7910c68 100644 --- a/flow/FlowGraphTest.hs +++ b/flow/FlowGraphTest.hs @@ -727,7 +727,6 @@ genProcess n = nextIdT >>* makeMeta' >>= \m -> (flip oneofLS) n ,(1,const $ genElem1 A.Stop m) ,(1,comb1 (A.Seq emptyMeta) . genStructured genProcess') ,(1,comb1 (A.Par emptyMeta A.PlainPar) . genStructured genProcess') - ,(3,genElem3 A.While m genExpression . genProcess . sub2) ,(1,comb1 (A.If emptyMeta) . genStructured genChoice') ,(2,comb2 (A.Case emptyMeta) genExpression . genStructured genOption' . sub1) ,(2,const $ genElem3 A.Assign m (comb0 [variable "x"]) genExpressionList)