gazagnaire.org / ocaml-cgr
Contact Graph Routing for time-varying satellite networks
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 52c1af8a 1aac9035

+10 -9
+8 -8
fuzz/dune
··· 1 1 ; Crowbar fuzz testing for cgr 2 2 ; 3 - ; To run: dune exec fuzz/fuzz_cgr.exe 4 - ; With AFL: afl-fuzz -i fuzz/corpus -o fuzz/findings -- ./_build/default/fuzz/fuzz_cgr.exe @@ 3 + ; To run: dune exec fuzz/fuzz.exe 4 + ; With AFL: afl-fuzz -i fuzz/corpus -o fuzz/findings -- ./_build/default/fuzz/fuzz.exe @@ 5 5 6 6 (executable 7 - (name fuzz_cgr) 8 - (modules fuzz_cgr) 7 + (name fuzz) 8 + (modules fuzz fuzz_cgr) 9 9 (libraries cgr crowbar)) 10 10 11 11 (executable ··· 17 17 (alias runtest) 18 18 (enabled_if 19 19 (<> %{profile} afl)) 20 - (deps fuzz_cgr.exe) 20 + (deps fuzz.exe) 21 21 (action 22 - (run %{exe:fuzz_cgr.exe}))) 22 + (run %{exe:fuzz.exe}))) 23 23 24 24 (rule 25 25 (alias fuzz) ··· 27 27 (= %{profile} afl)) 28 28 (deps 29 29 (source_tree corpus) 30 - fuzz_cgr.exe 30 + fuzz.exe 31 31 gen_corpus.exe) 32 32 (action 33 - (echo "AFL fuzzer built: %{exe:fuzz_cgr.exe}\n"))) 33 + (echo "AFL fuzzer built: %{exe:fuzz.exe}\n")))
+1
fuzz/fuzz.ml
··· 1 + let () = Crowbar.run "cgr" [ Fuzz_cgr.suite ]
+1 -1
fuzz/fuzz_cgr.ml
··· 130 130 test_routes_ordered; 131 131 ] ) 132 132 133 - let () = run "cgr" [ suite ] 133 + let run () = Crowbar.run "cgr" [ suite ]