Contact Graph Routing for time-varying satellite networks
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
+25
-19
+25
-19
fuzz/fuzz_cgr.ml
+25
-19
fuzz/fuzz_cgr.ml
···
106
106
check (is_sorted arrivals)
107
107
108
108
(* Register tests *)
109
-
let () =
110
-
add_test ~name:"cgr: route arrival finite"
111
-
[ gen_contact_list; gen_node; gen_node; gen_time ]
112
-
test_route_arrival_finite;
113
-
add_test ~name:"cgr: route endpoints match"
114
-
[ gen_contact_list; gen_node; gen_node; gen_time ]
115
-
test_route_endpoints;
116
-
add_test ~name:"cgr: route arrival >= start"
117
-
[ gen_contact_list; gen_node; gen_node; gen_time ]
118
-
test_route_arrival_after_start;
119
-
add_test ~name:"cgr: route path valid"
120
-
[ gen_contact_list; gen_node; gen_node; gen_time ]
121
-
test_route_path_valid;
122
-
add_test ~name:"cgr: routes have different first hops"
123
-
[ gen_contact_list; gen_node; gen_node; gen_time ]
124
-
test_routes_different_first_hops;
125
-
add_test ~name:"cgr: routes ordered by arrival"
126
-
[ gen_contact_list; gen_node; gen_node; gen_time ]
127
-
test_routes_ordered
109
+
110
+
let suite =
111
+
( "cgr",
112
+
[
113
+
test_case "route arrival finite"
114
+
[ gen_contact_list; gen_node; gen_node; gen_time ]
115
+
test_route_arrival_finite;
116
+
test_case "route endpoints match"
117
+
[ gen_contact_list; gen_node; gen_node; gen_time ]
118
+
test_route_endpoints;
119
+
test_case "route arrival >= start"
120
+
[ gen_contact_list; gen_node; gen_node; gen_time ]
121
+
test_route_arrival_after_start;
122
+
test_case "route path valid"
123
+
[ gen_contact_list; gen_node; gen_node; gen_time ]
124
+
test_route_path_valid;
125
+
test_case "routes have different first hops"
126
+
[ gen_contact_list; gen_node; gen_node; gen_time ]
127
+
test_routes_different_first_hops;
128
+
test_case "routes ordered by arrival"
129
+
[ gen_contact_list; gen_node; gen_node; gen_time ]
130
+
test_routes_ordered;
131
+
] )
132
+
133
+
let () = run "cgr" [ suite ]