Contact Graph Routing for time-varying satellite networks
fix(lint): resolve E600 test module convention issues
Flatten multi-group test suites to single pairs (string * test_case list)
across bpsec, btree, bundle, bytesrw-eio, cfdp, cgr, claude-skills, and
claudeio. Update test.ml runners to wrap suites in lists. Add missing
test_cache.mli. Fix E600 linter to skip standalone executables and
utility libraries that happen to have a test_ prefix by checking whether
the corresponding .ml defines a suite value.
+30
-38
+1
-1
test/test.ml
+1
-1
test/test.ml
+28
-37
test/test_cgr.ml
+28
-37
test/test_cgr.ml
···
15
15
(fun a b ->
16
16
Float.abs (Route.arrival_time a -. Route.arrival_time b) < 0.001)
17
17
18
-
let some_route = Alcotest.option route_arrival
18
+
let _some_route = Alcotest.option route_arrival
19
19
let float_eq ?(eps = 0.001) a b = Float.abs (a -. b) < eps
20
20
21
21
(* Test nodes *)
···
467
467
(* Suite *)
468
468
469
469
let suite =
470
-
[
471
-
( "routing",
472
-
[
473
-
Alcotest.test_case "direct contact" `Quick test_direct_contact;
474
-
Alcotest.test_case "two hop route" `Quick test_two_hop_route;
475
-
Alcotest.test_case "no route" `Quick test_no_route;
476
-
Alcotest.test_case "earliest arrival" `Quick test_earliest_arrival;
477
-
Alcotest.test_case "wait for contact" `Quick test_wait_for_contact;
478
-
Alcotest.test_case "propagation delay" `Quick test_propagation_delay;
479
-
Alcotest.test_case "contact expires" `Quick test_contact_expires;
480
-
Alcotest.test_case "find routes" `Quick test_find_routes;
481
-
] );
482
-
( "contact plan",
483
-
[ Alcotest.test_case "operations" `Quick test_contact_plan ] );
484
-
("route", [ Alcotest.test_case "capacity" `Quick test_route_capacity ]);
485
-
( "hdtn",
486
-
[
487
-
Alcotest.test_case "cgr tutorial" `Quick test_hdtn_cgr_tutorial;
488
-
Alcotest.test_case "cgr tutorial timing" `Quick
489
-
test_hdtn_cgr_tutorial_timing;
490
-
Alcotest.test_case "routing basic" `Quick test_hdtn_routing_basic;
491
-
Alcotest.test_case "routing no reverse" `Quick
492
-
test_hdtn_routing_no_reverse;
493
-
Alcotest.test_case "routing choose faster" `Quick
494
-
test_hdtn_routing_choose_faster;
495
-
] );
496
-
( "large-scale",
497
-
[
498
-
Alcotest.test_case "ring 10 nodes" `Quick test_ring_10;
499
-
Alcotest.test_case "ring 100 nodes" `Slow test_ring_100;
500
-
Alcotest.test_case "mesh 10 nodes" `Quick test_mesh_10;
501
-
Alcotest.test_case "mesh 20 nodes" `Slow test_mesh_20;
502
-
Alcotest.test_case "time varying" `Quick test_time_varying;
503
-
Alcotest.test_case "constellation" `Quick test_constellation;
504
-
] );
505
-
]
470
+
( "cgr",
471
+
[
472
+
Alcotest.test_case "direct contact" `Quick test_direct_contact;
473
+
Alcotest.test_case "two hop route" `Quick test_two_hop_route;
474
+
Alcotest.test_case "no route" `Quick test_no_route;
475
+
Alcotest.test_case "earliest arrival" `Quick test_earliest_arrival;
476
+
Alcotest.test_case "wait for contact" `Quick test_wait_for_contact;
477
+
Alcotest.test_case "propagation delay" `Quick test_propagation_delay;
478
+
Alcotest.test_case "contact expires" `Quick test_contact_expires;
479
+
Alcotest.test_case "find routes" `Quick test_find_routes;
480
+
Alcotest.test_case "contact plan operations" `Quick test_contact_plan;
481
+
Alcotest.test_case "route capacity" `Quick test_route_capacity;
482
+
Alcotest.test_case "hdtn cgr tutorial" `Quick test_hdtn_cgr_tutorial;
483
+
Alcotest.test_case "hdtn cgr tutorial timing" `Quick
484
+
test_hdtn_cgr_tutorial_timing;
485
+
Alcotest.test_case "hdtn routing basic" `Quick test_hdtn_routing_basic;
486
+
Alcotest.test_case "hdtn routing no reverse" `Quick
487
+
test_hdtn_routing_no_reverse;
488
+
Alcotest.test_case "hdtn routing choose faster" `Quick
489
+
test_hdtn_routing_choose_faster;
490
+
Alcotest.test_case "ring 10 nodes" `Quick test_ring_10;
491
+
Alcotest.test_case "ring 100 nodes" `Slow test_ring_100;
492
+
Alcotest.test_case "mesh 10 nodes" `Quick test_mesh_10;
493
+
Alcotest.test_case "mesh 20 nodes" `Slow test_mesh_20;
494
+
Alcotest.test_case "time varying" `Quick test_time_varying;
495
+
Alcotest.test_case "constellation" `Quick test_constellation;
496
+
] )
+1
test/test_cgr.mli
+1
test/test_cgr.mli
···
1
+
val suite : string * unit Alcotest.test_case list