CCSDS File Delivery Protocol (CCSDS 727.0-B-5) for space file transfer
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.
+43
-72
+42
-72
test/test_cfdp.ml
+42
-72
test/test_cfdp.ml
···
698
698
699
699
(* {1 Test Suite} *)
700
700
701
-
let () =
702
-
Alcotest.run "CFDP"
701
+
let suite =
702
+
( "cfdp",
703
703
[
704
-
( "Entity_id",
705
-
[
706
-
Alcotest.test_case "basic" `Quick test_entity_id_basic;
707
-
Alcotest.test_case "int64" `Quick test_entity_id_int64;
708
-
Alcotest.test_case "equal" `Quick test_entity_id_equal;
709
-
Alcotest.test_case "compare" `Quick test_entity_id_compare;
710
-
Alcotest.test_case "unsigned valid" `Quick
711
-
test_entity_id_unsigned_valid;
712
-
Alcotest.test_case "unsigned overflow" `Quick
713
-
test_entity_id_unsigned_overflow;
714
-
] );
715
-
( "PDU Config",
716
-
[
717
-
Alcotest.test_case "valid" `Quick test_pdu_config_valid;
718
-
Alcotest.test_case "invalid" `Quick test_pdu_config_invalid;
719
-
Alcotest.test_case "header_len" `Quick test_header_len;
720
-
] );
721
-
( "Header",
722
-
[
723
-
Alcotest.test_case "roundtrip" `Quick test_header_roundtrip;
724
-
Alcotest.test_case "file_data" `Quick test_header_file_data;
725
-
Alcotest.test_case "truncated" `Quick test_header_truncated;
726
-
] );
727
-
( "Directives",
728
-
[
729
-
Alcotest.test_case "EOF roundtrip" `Quick test_eof_roundtrip;
730
-
Alcotest.test_case "EOF with fault" `Quick test_eof_with_fault;
731
-
Alcotest.test_case "Metadata roundtrip" `Quick test_metadata_roundtrip;
732
-
Alcotest.test_case "Finished roundtrip" `Quick test_finished_roundtrip;
733
-
Alcotest.test_case "ACK roundtrip" `Quick test_ack_roundtrip;
734
-
Alcotest.test_case "NAK roundtrip" `Quick test_nak_roundtrip;
735
-
Alcotest.test_case "Prompt roundtrip" `Quick test_prompt_roundtrip;
736
-
Alcotest.test_case "Keep Alive roundtrip" `Quick
737
-
test_keep_alive_roundtrip;
738
-
] );
739
-
( "File Data",
740
-
[
741
-
Alcotest.test_case "roundtrip" `Quick test_file_data_roundtrip;
742
-
Alcotest.test_case "large_file" `Quick test_file_data_large_file;
743
-
] );
744
-
( "Complete PDU",
745
-
[
746
-
Alcotest.test_case "metadata" `Quick test_pdu_roundtrip_metadata;
747
-
Alcotest.test_case "file_data" `Quick test_pdu_roundtrip_file_data;
748
-
] );
749
-
( "Checksums",
750
-
[
751
-
Alcotest.test_case "modular" `Quick test_checksum_modular;
752
-
Alcotest.test_case "CRC-32" `Quick test_checksum_crc32;
753
-
Alcotest.test_case "CRC-32C" `Quick test_checksum_crc32c;
754
-
Alcotest.test_case "null" `Quick test_checksum_null;
755
-
Alcotest.test_case "verify" `Quick test_verify_checksum;
756
-
] );
757
-
( "Condition codes",
758
-
[ Alcotest.test_case "roundtrip" `Quick test_condition_roundtrip ] );
759
-
( "State Machines",
760
-
[
761
-
Alcotest.test_case "Sender1 initial" `Quick test_sender1_initial;
762
-
Alcotest.test_case "Sender1 put_request" `Quick
763
-
test_sender1_put_request;
764
-
Alcotest.test_case "Receiver1 initial" `Quick test_receiver1_initial;
765
-
Alcotest.test_case "Receiver1 metadata" `Quick test_receiver1_metadata;
766
-
Alcotest.test_case "Sender2 initial" `Quick test_sender2_initial;
767
-
Alcotest.test_case "Receiver2 initial" `Quick test_receiver2_initial;
768
-
] );
769
-
( "E2E",
770
-
[
771
-
Alcotest.test_case "Class 1 transfer" `Quick test_e2e_class1_transfer;
772
-
] );
773
-
]
704
+
Alcotest.test_case "entity_id basic" `Quick test_entity_id_basic;
705
+
Alcotest.test_case "entity_id int64" `Quick test_entity_id_int64;
706
+
Alcotest.test_case "entity_id equal" `Quick test_entity_id_equal;
707
+
Alcotest.test_case "entity_id compare" `Quick test_entity_id_compare;
708
+
Alcotest.test_case "entity_id unsigned valid" `Quick
709
+
test_entity_id_unsigned_valid;
710
+
Alcotest.test_case "entity_id unsigned overflow" `Quick
711
+
test_entity_id_unsigned_overflow;
712
+
Alcotest.test_case "pdu_config valid" `Quick test_pdu_config_valid;
713
+
Alcotest.test_case "pdu_config invalid" `Quick test_pdu_config_invalid;
714
+
Alcotest.test_case "header_len" `Quick test_header_len;
715
+
Alcotest.test_case "header roundtrip" `Quick test_header_roundtrip;
716
+
Alcotest.test_case "header file_data" `Quick test_header_file_data;
717
+
Alcotest.test_case "header truncated" `Quick test_header_truncated;
718
+
Alcotest.test_case "EOF roundtrip" `Quick test_eof_roundtrip;
719
+
Alcotest.test_case "EOF with fault" `Quick test_eof_with_fault;
720
+
Alcotest.test_case "Metadata roundtrip" `Quick test_metadata_roundtrip;
721
+
Alcotest.test_case "Finished roundtrip" `Quick test_finished_roundtrip;
722
+
Alcotest.test_case "ACK roundtrip" `Quick test_ack_roundtrip;
723
+
Alcotest.test_case "NAK roundtrip" `Quick test_nak_roundtrip;
724
+
Alcotest.test_case "Prompt roundtrip" `Quick test_prompt_roundtrip;
725
+
Alcotest.test_case "Keep Alive roundtrip" `Quick test_keep_alive_roundtrip;
726
+
Alcotest.test_case "file_data roundtrip" `Quick test_file_data_roundtrip;
727
+
Alcotest.test_case "file_data large_file" `Quick test_file_data_large_file;
728
+
Alcotest.test_case "pdu metadata" `Quick test_pdu_roundtrip_metadata;
729
+
Alcotest.test_case "pdu file_data" `Quick test_pdu_roundtrip_file_data;
730
+
Alcotest.test_case "checksum modular" `Quick test_checksum_modular;
731
+
Alcotest.test_case "checksum CRC-32" `Quick test_checksum_crc32;
732
+
Alcotest.test_case "checksum CRC-32C" `Quick test_checksum_crc32c;
733
+
Alcotest.test_case "checksum null" `Quick test_checksum_null;
734
+
Alcotest.test_case "checksum verify" `Quick test_verify_checksum;
735
+
Alcotest.test_case "condition roundtrip" `Quick test_condition_roundtrip;
736
+
Alcotest.test_case "Sender1 initial" `Quick test_sender1_initial;
737
+
Alcotest.test_case "Sender1 put_request" `Quick test_sender1_put_request;
738
+
Alcotest.test_case "Receiver1 initial" `Quick test_receiver1_initial;
739
+
Alcotest.test_case "Receiver1 metadata" `Quick test_receiver1_metadata;
740
+
Alcotest.test_case "Sender2 initial" `Quick test_sender2_initial;
741
+
Alcotest.test_case "Receiver2 initial" `Quick test_receiver2_initial;
742
+
Alcotest.test_case "E2E Class 1 transfer" `Quick test_e2e_class1_transfer;
743
+
] )
+1
test/test_cfdp.mli
+1
test/test_cfdp.mli
···
1
+
val suite : string * unit Alcotest.test_case list