Commit 9d9e2a75 authored by mschaper's avatar mschaper
Browse files

fix: do not remove valid constraints in reduce

parent 4d6dcf7d
......@@ -327,7 +327,7 @@ reduce (GEQ c (toFrac -> (lhs,f1)) (toFrac -> (rhs,f2))) = do
walkLhs C.Sup {} _ _ = error "InvariantSolver.Naive.reduce: sup on lhs"
walkRhs _ Bot _ = return []
walkRhs (C.E 0) _ _ = return []
-- walkRhs (C.E 0) _ _ = return [] // removes valid constraints in recursive calls
walkRhs (C.E e) ctx k = k e ctx
walkRhs (C.Cond g c1 c2) ctx k = branch g walkRhs c1 c2 ctx k
walkRhs (C.Plus c1 c2) ctx k = add walkRhs c1 c2 ctx k
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment