CCSDS TM Transfer Frames (CCSDS 132.0-B-3)
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
+16
-13
+16
-13
fuzz/fuzz_tm.ml
+16
-13
fuzz/fuzz_tm.ml
···
123
123
())
124
124
| _ -> ()
125
125
126
-
let () =
127
-
add_test ~name:"tm: decode no crash" [ bytes ] test_decode_no_crash;
128
-
add_test ~name:"tm: header no crash" [ bytes ] test_header_no_crash;
129
-
add_test ~name:"tm: header roundtrip"
130
-
[ range 2000; range 20; range 300; range 300; range 3000 ]
131
-
test_header_roundtrip;
132
-
add_test ~name:"tm: clcw roundtrip"
133
-
[ range 20; range 300; range 10 ]
134
-
test_clcw_roundtrip;
135
-
add_test ~name:"tm: frame roundtrip" [ bytes ] test_frame_roundtrip;
136
-
add_test ~name:"tm: fecf corruption"
137
-
[ bytes; range 20000 ]
138
-
test_fecf_corruption
126
+
let suite =
127
+
( "tm",
128
+
[
129
+
test_case "decode no crash" [ bytes ] test_decode_no_crash;
130
+
test_case "header no crash" [ bytes ] test_header_no_crash;
131
+
test_case "header roundtrip"
132
+
[ range 2000; range 20; range 300; range 300; range 3000 ]
133
+
test_header_roundtrip;
134
+
test_case "clcw roundtrip"
135
+
[ range 20; range 300; range 10 ]
136
+
test_clcw_roundtrip;
137
+
test_case "frame roundtrip" [ bytes ] test_frame_roundtrip;
138
+
test_case "fecf corruption" [ bytes; range 20000 ] test_fecf_corruption;
139
+
] )
140
+
141
+
let () = run "tm" [ suite ]