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

Noted down a QuickCheck failure in ArrayUsageCheckTest

Browse Source
This commit is contained in:
Neil Brown 2008-02-25 12:09:21 +00:00
parent 45fb82f3fd
commit 1960deef39
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
checks/ArrayUsageCheckTest.hs
View File

@ -734,6 +734,11 @@ generateEquationInput
lookupF f@(Modulo a t b) vm = [(fromJust $ Map.lookup f vm, 1)]
lookupF f@(Divide a t b) vm = [(fromJust $ Map.lookup f vm, 1)]
--TODO deal with this counter-example (related to canonical form of expressions, I think):
--Keys in variable mapping [((9 * x9) + (-9 * x10)),(x7 + x8),(-10 * x6),(((8 * x3) + (y4 * y4)) / 2)]
--expected: [(y1 * ((x1 + (y2 * y2)) REM x3)),(y4 * y4),x10,x2,x3,x6,x7,x8,x9,((y4 * y4) + 8*x3 / 2)]
-- but got: [(y1 * (((y2 * y2) + x1) REM x3)),(y4 * y4),x10,x2,x3,x6,x7,x8,x9,((y4 * y4) + 8*x3 / 2)]
qcTestMakeEquations :: [LabelledQuickCheckTest]
qcTestMakeEquations = [("Turning Code Into Equations", scaleQC (20,100,400,1000) prop)]
where