From 1960deef393caf37fa367d66a0282b6f073c9a97 Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Mon, 25 Feb 2008 12:09:21 +0000 Subject: [PATCH] Noted down a QuickCheck failure in ArrayUsageCheckTest --- checks/ArrayUsageCheckTest.hs | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/checks/ArrayUsageCheckTest.hs b/checks/ArrayUsageCheckTest.hs index 33aac6f..c014042 100644 --- a/checks/ArrayUsageCheckTest.hs +++ b/checks/ArrayUsageCheckTest.hs @@ -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