Update test/EVM/Expr/ExprTests.hs

msooseth · blishko · web-flow · commit a5772544f16b · 2026-02-10T14:49:30.000+01:00
Co-authored-by: blishko &lt;blishko@argot.org&gt;
diff --git a/test/EVM/Expr/ExprTests.hs b/test/EVM/Expr/ExprTests.hs
@@ -287,7 +287,7 @@ basicSimplificationTests = testGroup "Basic simplification tests"
       assertEqual "~x + 1 is negation" (Sub (Lit 0) (Var "x")) simp
   , testCase "simp-xor-maxlit-plus1" $ do
       let simp = Expr.simplify $ Add (Lit 1) (Xor (Lit Expr.maxLit) (Var "x"))
-      assertEqual "xor(maxLit, x) + 1 is negation" simp (Sub (Lit 0) (Var "x"))
+      assertEqual "xor(maxLit, x) + 1 is negation" (Sub (Lit 0) (Var "x")) simp
   ]
 
 propSimplificationTests :: TestTree

Original file line number	Diff line number	Diff line change
`@@ -287,7 +287,7 @@ basicSimplificationTests = testGroup "Basic simplification tests"`
`287`	`287`	`assertEqual "~x + 1 is negation" (Sub (Lit 0) (Var "x")) simp`
`288`	`288`	`, testCase "simp-xor-maxlit-plus1" $ do`
`289`	`289`	`let simp = Expr.simplify $ Add (Lit 1) (Xor (Lit Expr.maxLit) (Var "x"))`
`290`		`- assertEqual "xor(maxLit, x) + 1 is negation" simp (Sub (Lit 0) (Var "x"))`
	`290`	`+ assertEqual "xor(maxLit, x) + 1 is negation" (Sub (Lit 0) (Var "x")) simp`
`291`	`291`	`]`
`292`	`292`
`293`	`293`	`propSimplificationTests :: TestTree`