From fb0d2fe6a21445decb4900fbe093ac1996035ac8 Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Sat, 19 Jan 2008 15:38:13 +0000 Subject: [PATCH] Changed test 200 in ArrayUsageCheckTest to match the new arrangement I have in mind --- transformations/ArrayUsageCheckTest.hs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/transformations/ArrayUsageCheckTest.hs b/transformations/ArrayUsageCheckTest.hs index 2ab01b9..b1d8103 100644 --- a/transformations/ArrayUsageCheckTest.hs +++ b/transformations/ArrayUsageCheckTest.hs @@ -330,7 +330,9 @@ testMakeEquations = TestList leq [j ++ con 1, i ++ k, con 0] &&& leq [con 0, i ++ k, con 7] &&& leq [con 0, con 3, con 7]) ], [buildExpr $ Dy (Var "i") A.Rem (Var "j"), intLiteral 3], intLiteral 8) - ,testRep (200,both_rep_i ([i === j],leq [con 1, i, j ++ con (-1), con 5] &&& leq [con 0, i, con 7] &&& leq [con 0, j, con 7]), + ,testRep (200,both_rep_i ([i === j], + leq [con 1, i, con 6] &&& leq [con 1, j, con 6] &&& [i <== j ++ con (-1)] + &&& leq [con 0, i, con 7] &&& leq [con 0, j, con 7]), [(variable "i", intLiteral 1, intLiteral 6)],[exprVariable "i"],intLiteral 8) ,testRep (201,both_rep_i ([i === j],leq [con 1, i, j ++ con (-1), con 5] &&& leq [con 0, i, con 7] &&& leq [con 0, j, con 7])