From c62e643f9c4fdc76659d3836e6007319cb9a29fc Mon Sep 17 00:00:00 2001 From: Alasdair Date: Tue, 18 Feb 2025 13:48:30 +0000 Subject: [PATCH] Run ocamlformat --- src/lib/sail_lib.ml | 21 +++++++++------------ 1 file changed, 9 insertions(+), 12 deletions(-) diff --git a/src/lib/sail_lib.ml b/src/lib/sail_lib.ml index f222cbbe4..f3abfbf86 100644 --- a/src/lib/sail_lib.ml +++ b/src/lib/sail_lib.ml @@ -1139,28 +1139,25 @@ let parse_hex_bits (n, s) = let valid_dec_bits (n, s) = if String.length s > 0 && s.[0] = '-' then false - else + else ( let is_valid = ref true in - String.iter (fun c -> is_valid := !is_valid && ('0' <= c && c <= '9')) s; + String.iter (fun c -> is_valid := !is_valid && '0' <= c && c <= '9') s; if not !is_valid then false - else - let rec count_bits n = - if Big_int.equal n Big_int.zero then 0 - else 1 + count_bits (Big_int.shift_right n 1) - in + else ( + let rec count_bits n = if Big_int.equal n Big_int.zero then 0 else 1 + count_bits (Big_int.shift_right n 1) in let dec_value = Big_int.of_string s in count_bits dec_value <= Big_int.to_int n + ) + ) let parse_dec_bits (n, s) = let padding = zeros n in if not (valid_dec_bits (n, s)) then padding - else + else ( let dec_value = Big_int.of_string s in let bits = bits_of_big_int (Big_int.to_int n) dec_value in - padding @ bits - |> List.rev - |> Util.take (Big_int.to_int n) - |> List.rev + padding @ bits |> List.rev |> Util.take (Big_int.to_int n) |> List.rev + ) let trace_memory_write (_, _, _) = () let trace_memory_read (_, _, _) = ()