CCSDS TM Transfer Frames (CCSDS 132.0-B-3)
fix(E606/E620): consolidate test stanzas, remove ounit2, fix testlib conflict
- tls/tests: merge → single test.ml runner, remove ounit2, convert to alcotest
- tls/eio/tests: add crypto-rng dep (E606), add test_rng.mli
- tls/test: move testlib to test/helpers/ (named test_helpers) to fix naming
conflict; merge 10 stanzas → single test_core stanza without (modules)
- tls/test/eio: merge 2 stanzas → 1
- tomlt/test: merge 2 stanzas → single test.ml; expose suite in .mli files
- tcf/test: merge 2 stanzas → single test.ml; convert runners to suite values
+9
-7
+8
-7
lib/tm.mli
+8
-7
lib/tm.mli
···
87
87
(** {1 First Header Pointer Constants} *)
88
88
89
89
val fhp_no_packet : int
90
-
(** [0x7FE]: No packet starts in this frame (continuation only). *)
90
+
(** [fhp_no_packet] is [0x7FE]: no packet starts in this frame (continuation
91
+
only). *)
91
92
92
93
val fhp_idle_only : int
93
-
(** [0x7FF]: Only idle data in frame (no valid packets). *)
94
+
(** [fhp_idle_only] is [0x7FF]: only idle data in frame (no valid packets). *)
94
95
95
96
(** {1 CLCW - Command Link Control Word}
96
97
···
149
150
(** [decode ?frame_len ?expect_ocf ?expect_fecf ?check_fecf buf] decodes a TM
150
151
frame.
151
152
152
-
@param frame_len Total frame length (default 1115 bytes for CCSDS standard)
153
-
@param expect_ocf Whether OCF is present (default: use header flag)
154
-
@param expect_fecf Whether FECF is present (default true)
155
-
@param check_fecf Whether to validate FECF CRC (default true) *)
153
+
@param frame_len Total frame length (default 1115 bytes for CCSDS standard).
154
+
@param expect_ocf Whether OCF is present (default: use header flag).
155
+
@param expect_fecf Whether FECF is present (default true).
156
+
@param check_fecf Whether to validate FECF CRC (default true). *)
156
157
157
158
(** {1 Encoding} *)
158
159
···
162
163
val encode : ?with_fecf:bool -> t -> string
163
164
(** [encode ?with_fecf frame] encodes a TM frame.
164
165
165
-
@param with_fecf Compute and append FECF (default true) *)
166
+
@param with_fecf Compute and append FECF (default true). *)
166
167
167
168
val encoded_len : ?with_ocf:bool -> ?with_fecf:bool -> t -> int
168
169
(** [encoded_len frame] returns the total encoded length in bytes. *)
+1
test/test_tm.mli
+1
test/test_tm.mli
···
1
+
val suite : (string * unit Alcotest.test_case list) list