Bundle Protocol Security (RFC 9172) - authentication and encryption for DTN
refactor(crowbar): Alcotest-style API with suite exports and grouped run
- Change `run` signature to `string -> (string * test_case list) list -> unit`
matching Alcotest's grouping convention
- Fix `_name` bug: pass the name through to Alcotest.run_with_args
- Each fuzz module now exports `let suite = ("name", [test_case ...])`
- Entry points (fuzz.ml) collect suites: `Crowbar.run "pkg" [Fuzz_X.suite]`
- Remove stale `add_test`/`suite` API, keep only `test_case`/`run`
- Remove `let run () = ()` from fuzz_common.ml files
- Update merlint E725 rule to match new `let suite = ("name", ...)` pattern
- Update E725 test fixtures and expected output
+10
-5
+10
-5
fuzz/fuzz_bpsec.ml
+10
-5
fuzz/fuzz_bpsec.ml
···
59
59
| Ok decoded -> if decoded.targets <> targets then fail "targets mismatch"
60
60
| Error _ -> fail "CBOR roundtrip decode failed")
61
61
62
-
let () =
63
-
add_test ~name:"bpsec: decode no crash" [ bytes ] test_decode;
64
-
add_test ~name:"bpsec: BIB roundtrip" [ bytes; bytes ] test_bib_roundtrip;
65
-
add_test ~name:"bpsec: BCB roundtrip" [ bytes; bytes ] test_bcb_roundtrip;
66
-
add_test ~name:"bpsec: CBOR roundtrip" [ bytes; bytes ] test_cbor_roundtrip
62
+
let suite =
63
+
( "bpsec",
64
+
[
65
+
test_case "decode no crash" [ bytes ] test_decode;
66
+
test_case "BIB roundtrip" [ bytes; bytes ] test_bib_roundtrip;
67
+
test_case "BCB roundtrip" [ bytes; bytes ] test_bcb_roundtrip;
68
+
test_case "CBOR roundtrip" [ bytes; bytes ] test_cbor_roundtrip;
69
+
] )
70
+
71
+
let () = run "bpsec" [ suite ]