From 090945c3f8383fe78bea37c276953cb38fe7e57a Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 4 Jul 2022 16:08:17 -0400 Subject: [PATCH] fix(BV): equal function --- src/data/CCBV.ml | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/src/data/CCBV.ml b/src/data/CCBV.ml index 1ded6faa..ffcaecb1 100644 --- a/src/data/CCBV.ml +++ b/src/data/CCBV.ml @@ -196,7 +196,16 @@ let flip bv i = ) let clear bv = Bytes.fill bv.b 0 (Bytes.length bv.b) zero -let equal x y : bool = x.size = y.size && x.b = y.b + +let equal_bytes_ size b1 b2 = + try + for i = 0 to bytes_length_of_size size - 1 do + if Bytes.get b1 i <> Bytes.get b2 i then raise_notrace Exit + done; + true + with Exit -> false + +let equal x y : bool = x.size = y.size && equal_bytes_ x.size x.b y.b let iter bv f = let len = bytes_length_of_size bv.size in