CCSDS File Delivery Protocol (CCSDS 727.0-B-5) for space file transfer
fix(lint): resolve E005, E105, E320, E330, E340, E405, E616
- E005: extract helpers to shorten long functions (discover_cmd, main_cmd, fuzz suites)
- E105: replace catch-all exception handlers with Eio.Exn.Io
- E320: shorten long identifiers in fuzz_cfdp and fuzz_meross
- E330: rename main_cmd to cmd
- E340: use err_cidr helper instead of Error (Fmt.str ...)
- E405: add missing docs for unbind_matter, is_meross_device, pp_info
- E616: use failf instead of fail (Fmt.str ...) in meross tests
+4
-6
+4
-6
fuzz/fuzz_cfdp.ml
+4
-6
fuzz/fuzz_cfdp.ml
···
225
225
if n <> n' then fail "directive_code roundtrip mismatch" else check true
226
226
| None -> check true
227
227
228
-
let test_entity_id_of_int_negative n =
228
+
let test_eid_int_neg n =
229
229
if n < 0 then
230
230
match Cfdp.Entity_id.of_int n with
231
231
| Some _ -> fail "negative entity_id accepted"
232
232
| None -> check true
233
233
else check true
234
234
235
-
let test_entity_id_of_int64_negative n =
235
+
let test_eid_int64_neg n =
236
236
if n < 0L then
237
237
match Cfdp.Entity_id.of_int64 n with
238
238
| Some _ -> fail "negative entity_id accepted"
···
277
277
test_case "checksum_type roundtrip" [ uint8 ] test_checksum_type_roundtrip;
278
278
test_case "directive_code roundtrip" [ uint8 ]
279
279
test_directive_code_roundtrip;
280
-
test_case "entity_id of_int negative" [ int ]
281
-
test_entity_id_of_int_negative;
282
-
test_case "entity_id of_int64 negative" [ int64 ]
283
-
test_entity_id_of_int64_negative;
280
+
test_case "entity_id of_int negative" [ int ] test_eid_int_neg;
281
+
test_case "entity_id of_int64 negative" [ int64 ] test_eid_int64_neg;
284
282
test_case "entity_id roundtrip" [ int64 ] test_entity_id_roundtrip;
285
283
] )
286
284