Commit 9e1e9fd7 authored by Tomislav Pree's avatar Tomislav Pree
Browse files

Update TypedAnalysis.hs

parent 36106156
Pipeline #72309 canceled with stages
......@@ -449,7 +449,7 @@ eq v1 v2 = case (v1, v2) of
(B.False,B.False) -> B.True
(B.True,B.False) -> B.False
(B.False,B.True) -> B.False
(NumVal IntVal,NumVal IntVal) -> B.Top
(NumVal IntVal,NumVal IntVal) -> B.True
(NumVal FloatVal,NumVal FloatVal) -> B.Top
(NumVal NumTop,NumVal _) -> B.Top
(NumVal _,NumVal NumTop) -> B.Top
......
Markdown is supported
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