diff options
| author | Robert Norton | 2017-03-28 13:10:45 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-03-28 13:10:45 +0100 |
| commit | bd777e731cc0bfc600086f144d753a870a6b2034 (patch) | |
| tree | ea10441f74effc9c578ae44a9776bf7ce919b18a /src | |
| parent | 1c191c09c458c37453013c26ff39da06f211b38f (diff) | |
Fix erroneous bitwise xor.
Diffstat (limited to 'src')
| -rw-r--r-- | src/gen_lib/sail_values.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/gen_lib/sail_values.ml b/src/gen_lib/sail_values.ml index 401f78ae..e6a0226e 100644 --- a/src/gen_lib/sail_values.ml +++ b/src/gen_lib/sail_values.ml @@ -316,7 +316,7 @@ let bitwise_binop_bit op (l,r) = let bitwise_and_bit = bitwise_binop_bit (&&) let bitwise_or_bit = bitwise_binop_bit (||) -let bitwise_xor_bit = bitwise_binop_bit (fun x y -> (1 = (if x then 1 else 0) lxor (if y then 0 else 1))) +let bitwise_xor_bit = bitwise_binop_bit (fun x y -> (1 = (if x then 1 else 0) lxor (if y then 1 else 0))) let bitwise_binop op (l,r) = let bop l arrayl arrayr = |