SRP-6a Secure Remote Password protocol for OCaml
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_srp.ml
+10
-5
fuzz/fuzz_srp.ml
···
36
36
let v2 = Srp.compute_verifier ~salt ~username ~password in
37
37
check (Z.equal v1 v2)
38
38
39
-
let () =
40
-
add_test ~name:"srp: protocol roundtrip" [ bytes; bytes; bytes ] (fun u p s ->
41
-
test_protocol_roundtrip u p s);
42
-
add_test ~name:"srp: verifier deterministic" [ bytes; bytes; bytes ]
43
-
(fun u p s -> test_verifier_deterministic u p s)
39
+
let suite =
40
+
( "srp",
41
+
[
42
+
test_case "protocol roundtrip" [ bytes; bytes; bytes ] (fun u p s ->
43
+
test_protocol_roundtrip u p s);
44
+
test_case "verifier deterministic" [ bytes; bytes; bytes ] (fun u p s ->
45
+
test_verifier_deterministic u p s);
46
+
] )
47
+
48
+
let () = run "srp" [ suite ]