Licklider Transmission Protocol (CCSDS 734.1-B) for reliable DTN links
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
+21
-16
+21
-16
fuzz/fuzz_ltp.ml
+21
-16
fuzz/fuzz_ltp.ml
···
109
109
| _ -> fail "wrong content type")
110
110
| Error _ -> fail "cancel segment decode failed"
111
111
112
-
let () =
113
-
add_test ~name:"ltp: SDNV decode no crash" [ bytes ] test_sdnv_decode;
114
-
add_test ~name:"ltp: SDNV roundtrip" [ int64 ] test_sdnv_roundtrip;
115
-
add_test ~name:"ltp: segment decode no crash" [ bytes ] test_segment_decode;
116
-
add_test ~name:"ltp: green segment roundtrip"
117
-
[ range 1000; range 1000; range 100; range 1000; bytes ]
118
-
test_green_roundtrip;
119
-
add_test ~name:"ltp: red segment roundtrip"
120
-
[ range 1000; range 1000; range 1000; bytes ]
121
-
test_red_roundtrip;
122
-
add_test ~name:"ltp: report segment roundtrip"
123
-
[ range 1000; range 1000; range 1000; range 1000; range 10000 ]
124
-
test_report_roundtrip;
125
-
add_test ~name:"ltp: cancel segment roundtrip"
126
-
[ range 1000; range 1000; range 256; bool ]
127
-
test_cancel_roundtrip
112
+
let suite =
113
+
( "ltp",
114
+
[
115
+
test_case "SDNV decode no crash" [ bytes ] test_sdnv_decode;
116
+
test_case "SDNV roundtrip" [ int64 ] test_sdnv_roundtrip;
117
+
test_case "segment decode no crash" [ bytes ] test_segment_decode;
118
+
test_case "green segment roundtrip"
119
+
[ range 1000; range 1000; range 100; range 1000; bytes ]
120
+
test_green_roundtrip;
121
+
test_case "red segment roundtrip"
122
+
[ range 1000; range 1000; range 1000; bytes ]
123
+
test_red_roundtrip;
124
+
test_case "report segment roundtrip"
125
+
[ range 1000; range 1000; range 1000; range 1000; range 10000 ]
126
+
test_report_roundtrip;
127
+
test_case "cancel segment roundtrip"
128
+
[ range 1000; range 1000; range 256; bool ]
129
+
test_cancel_roundtrip;
130
+
] )
131
+
132
+
let () = run "ltp" [ suite ]