From 94d9fedd0e3f684ed8261a60c78cb08c31808c20 Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Sun, 10 Feb 2008 21:20:30 +0000 Subject: [PATCH] Tweaked some of the probabilities in the ArrayUsageCheckTest QuickCheck tests --- checks/ArrayUsageCheckTest.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/checks/ArrayUsageCheckTest.hs b/checks/ArrayUsageCheckTest.hs index 39608ff..b3fcddb 100644 --- a/checks/ArrayUsageCheckTest.hs +++ b/checks/ArrayUsageCheckTest.hs @@ -558,12 +558,12 @@ genNewItem specialAllowed -- TODO enable this once multiplied variables are supported -- ,(20, return (A.Dyadic emptyMeta A.Mul (exprVariable $ "y" ++ show nextId) (exprVariable $ "y" ++ show nextId)) ] ++ if not specialAllowed then [] - else [(20, do ((eT,iT),fT) <- genNewItem False + else [(10, do ((eT,iT),fT) <- genNewItem False -- TODO turn this into genNewExp, maybe others too. But ensure termination! ((eB,iB),fB) <- genNewItem False m <- get let nextId = 1 + maximum (0 : Map.elems m) return (A.Dyadic emptyMeta A.Rem eT eB, Modulo 1 (Set.singleton fT) (Set.singleton fB), nextId) - ),(20,do ((eT,iT),fT) <- genNewItem False + ),(10,do ((eT,iT),fT) <- genNewItem False ((eB,iB),fB) <- genConst m <- get let nextId = 1 + maximum (0 : Map.elems m)