suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Tweaked some of the probabilities in the ArrayUsageCheckTest QuickCheck tests

Browse Source
This commit is contained in:
Neil Brown 2008-02-10 21:20:30 +00:00
parent 5e87aa1e73
commit 94d9fedd0e
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
checks/ArrayUsageCheckTest.hs
View File

@ -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)