CCSDS Space Data Link Security (355.0-B-2)
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

mass replace Printf.sprintf/printf with Fmt.str/pr (merlint E200)

112 files across the monorepo. Printf.sprintf → Fmt.str,
Printf.printf → Fmt.pr for consistent formatting library usage.

+3 -3
+1 -1
lib/keyid.ml
··· 10 10 | Some t -> t 11 11 | None -> 12 12 invalid_arg 13 - (Printf.sprintf "Keyid.of_int_exn: %d out of range [0, %d]" n max_value) 13 + (Fmt.str "Keyid.of_int_exn: %d out of range [0, %d]" n max_value) 14 14 15 15 let to_int t = t 16 16 let pp fmt t = Format.fprintf fmt "%d" t
+2 -2
test/test_security.ml
··· 237 237 match Security.read_event r with 238 238 | Error (`Invalid_vcid 255) -> () 239 239 | Error (`Invalid_vcid v) -> 240 - Alcotest.fail (Printf.sprintf "wrong vcid value: %d" v) 240 + Alcotest.fail (Fmt.str "wrong vcid value: %d" v) 241 241 | Error `Truncated -> Alcotest.fail "unexpected truncated error" 242 242 | Error (`Invalid_tag t) -> 243 - Alcotest.fail (Printf.sprintf "unexpected invalid tag: %d" t) 243 + Alcotest.fail (Fmt.str "unexpected invalid tag: %d" t) 244 244 | Ok _ -> Alcotest.fail "should reject invalid VCID" 245 245 246 246 let test_valid_vcid_63_accepted () =