CCSDS Proximity-1 Space Link Protocol (211.0-B)
pus: rename test_ functions, fix service_type doc (merlint E330/E410)
+8
-15
+3
-3
lib/proximity1.mli
+3
-3
lib/proximity1.mli
···
54
54
(** [compare a b] compares two frames for ordering. *)
55
55
56
56
val codec : t Wire.Codec.t
57
-
(** [codec] is the Wire codec for the full Proximity-1 frame (header + data). It models
58
-
the complete frame: the 7-byte header followed by a variable-length data
59
-
field whose size is determined by the [frame_length] header field. *)
57
+
(** [codec] is the Wire codec for the full Proximity-1 frame (header + data). It
58
+
models the complete frame: the 7-byte header followed by a variable-length
59
+
data field whose size is determined by the [frame_length] header field. *)
60
60
61
61
val header_size : int
62
62
(** Size of the frame header in bytes (7). *)
+5
-12
test/interop/ccsds211/test.ml
+5
-12
test/interop/ccsds211/test.ml
···
19
19
20
20
let string_to_hex s =
21
21
let buf = Buffer.create (String.length s * 2) in
22
-
String.iter
23
-
(fun c -> Buffer.add_string buf (Fmt.str "%02x" (Char.code c)))
24
-
s;
22
+
String.iter (fun c -> Buffer.add_string buf (Fmt.str "%02x" (Char.code c))) s;
25
23
Buffer.contents buf
26
24
27
25
let frame_type_of_string = function
···
138
136
Alcotest.run "proximity1-interop"
139
137
[
140
138
( "decode",
141
-
List.map
142
-
(fun r -> Alcotest.test_case r.name `Quick (decode r))
143
-
rows );
139
+
List.map (fun r -> Alcotest.test_case r.name `Quick (decode r)) rows );
144
140
( "encode",
145
-
List.map
146
-
(fun r -> Alcotest.test_case r.name `Quick (encode r))
147
-
rows );
141
+
List.map (fun r -> Alcotest.test_case r.name `Quick (encode r)) rows );
148
142
( "roundtrip",
149
-
List.map
150
-
(fun r -> Alcotest.test_case r.name `Quick (roundtrip r))
151
-
rows );
143
+
List.map (fun r -> Alcotest.test_case r.name `Quick (roundtrip r)) rows
144
+
);
152
145
]