gazagnaire.org / ocaml-cfdp
CCSDS File Delivery Protocol (CCSDS 727.0-B-5) for space file transfer
0
fork

Configure Feed

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

fix(lint): resolve E205, E331, E405, E415, E600, E605, E715, E718, E725

Standardize fuzz and test conventions across 30+ packages:

- E715/E718: Add fuzz.ml runners referencing Fuzz_*.suite instead of
calling Fuzz_*.run() directly; update dune files accordingly
- E725: Fix fuzz_paseto suite name from "crowbar" to "paseto"
- E600: Create .mli interfaces for test modules (test_firmware,
test_remoteproc, test_pbkdf2, test_paseto) with single-group suites
- E605: Add missing test files (test_skills, test_monitor, test_openamp,
test_xrpc_server) with proper module extraction from inline test.ml
- E415: Add pp pretty-printer to xrpc_server type t
- E405: Add doc comment for pp_sync_action in skills.mli
- E205: Replace Printf with Fmt in fuzz_paseto and gen_corpus
- E331: Rename make_key to key in fuzz_paseto

Thomas Gazagnaire 1a69d580 a65e93d6

+8 -7
+6 -6
fuzz/dune
··· 1 1 (executable 2 - (name fuzz_cfdp) 3 - (modules fuzz_cfdp) 2 + (name fuzz) 3 + (modules fuzz fuzz_cfdp) 4 4 (libraries cfdp crowbar)) 5 5 6 6 (executable ··· 12 12 (alias runtest) 13 13 (enabled_if 14 14 (<> %{profile} afl)) 15 - (deps fuzz_cfdp.exe) 15 + (deps fuzz.exe) 16 16 (action 17 - (run %{exe:fuzz_cfdp.exe}))) 17 + (run %{exe:fuzz.exe}))) 18 18 19 19 (rule 20 20 (alias fuzz) ··· 22 22 (= %{profile} afl)) 23 23 (deps 24 24 (source_tree corpus) 25 - fuzz_cfdp.exe 25 + fuzz.exe 26 26 gen_corpus.exe) 27 27 (action 28 - (echo "AFL fuzzer built: %{exe:fuzz_cfdp.exe}\n"))) 28 + (echo "AFL fuzzer built: %{exe:fuzz.exe}\n")))
+1
fuzz/fuzz.ml
··· 1 + let () = Crowbar.run "cfdp" [ Fuzz_cfdp.suite ]
+1 -1
fuzz/fuzz_cfdp.ml
··· 282 282 test_case "entity_id roundtrip" [ int64 ] test_entity_id_roundtrip; 283 283 ] ) 284 284 285 - let () = run "cfdp" [ suite ] 285 + let run () = Crowbar.run "cfdp" [ suite ]