fmt

Author: amenahh

src/smtml/eval.ml

@@ -288,7 +288,7 @@ module Bool = struct
     | And -> to_bool (a && b)
     | Or -> to_bool (a || b)
     | Xor -> to_bool (xor a b)
-    | Implies -> to_bool ( not a || b)
+    | Implies -> to_bool ((not a) || b)
     | _ -> eval_error (`Unsupported_operator (`Binop op, Ty_bool))
 
   let[@inline] triop (op : Ty.Triop.t) c v1 v2 =

test/unit/test_eval.ml

@@ -347,8 +347,7 @@ module Bool_test = struct
         assert_equal true_ (Eval.binop Ty_bool Xor true_ false_);
         assert_equal true_ (Eval.binop Ty_bool Xor false_ true_);
         assert_equal false_ (Eval.binop Ty_bool Xor false_ false_) )
-    ; (
-        "test_implies" >:: fun _ ->
+    ; ( "test_implies" >:: fun _ ->
         assert_equal true_ (Eval.binop Ty_bool Implies true_ true_);
         assert_equal false_ (Eval.binop Ty_bool Implies true_ false_);
         assert_equal true_ (Eval.binop Ty_bool Implies false_ true_);