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

Stopped duplicate background knowledge being added in the equation generation, thus fixing some tests

Browse Source
This commit is contained in:
Neil Brown 2009-01-15 18:39:08 +00:00
parent 155714abcb
commit de153283a3
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/ArrayUsageCheck.hs
View File

@ -580,8 +580,8 @@ squareAndPair ::
(EqualityConstraintEquation, EqualityConstraintEquation) ->
[((labelStripped, labelStripped), VarMap, (EqualityProblem, InequalityProblem))]
squareAndPair lookupBK strip repVars s v lh
= [(transformPair strip strip labels, s,squareEquations (bkEqA ++ bkEqB ++
eq, bkIneqA ++ bkIneqB ++ ineq ++ concat (applyAll (eq,ineq) (map addExtra repVars))))
= [(transformPair strip strip labels, s,squareEquations (nub (bkEqA ++ bkEqB) ++
eq, nub (bkIneqA ++ bkIneqB) ++ ineq ++ concat (applyAll (eq,ineq) (map addExtra repVars))))
| (labels, eq,ineq) <- pairEqsAndBounds v lh
,and (map (primeImpliesPlain (eq,ineq)) repVars)
,((bkEqA, bkIneqA), (bkEqB, bkIneqB)) <-