Commit e584c808 authored by Sebastian Erdweg's avatar Sebastian Erdweg

added missing assignment in unit test

parent 2e568b5a
Pipeline #16961 failed with stages
in 43 minutes and 47 seconds
......@@ -22,7 +22,7 @@ spec :: Spec
spec = do
it "x:=2; y:=4; x:=1; z:=0; if(y>x) {z:=y} {z:=y*y}; x:=z" $ do
let ?bound = I.Interval (-500) 500
run 3 [("x",0),("y",1),("z",2)] ["x" =: 2, "y" =: 4, "x" =: 1, ifExpr ("x" ~= "y") ["z" =: "y"] ["z" =: "y" * "y"], "x" =: "z"]
run 3 [("x",0),("y",1),("z",2)] ["x" =: 2, "y" =: 4, "x" =: 1, "z" =: 0, ifExpr ("x" ~= "y") ["z" =: "y"] ["z" =: "y" * "y"], "x" =: "z"]
`shouldBe` res [(0,num 16 16), (1,num 4 4), (2,num 16 16)]
it "9 < 10 == true" $ do
......
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