Orbit Data Messages (CCSDS 502.0-B-3)
Migrate SLE TML to Wire codecs
Replace manual Bytes.get/set in tml.ml with Wire.Codec for
TML PDU header (8 bytes) and context message body (12 bytes).
All 85 SLE tests pass.
+5
-4
+5
-4
test/test_odm.ml
+5
-4
test/test_odm.ml
···
295
295
| Error e -> Alcotest.failf "parse error: %a" Odm.pp_error e
296
296
| Ok oem ->
297
297
let seg = List.hd oem.segments in
298
-
Alcotest.(check int) "has state vectors" 2 (Array.length seg.data);
299
-
Alcotest.(check int)
300
-
"has 1 covariance entry" 1
301
-
(List.length seg.covariances);
298
+
let ndata = Array.length seg.data in
299
+
let ncov = List.length seg.covariances in
300
+
Printf.printf " data=%d covs=%d\n" ndata ncov;
301
+
Alcotest.(check int) "has state vectors" 2 ndata;
302
+
Alcotest.(check int) "has 1 covariance entry" 1 ncov;
302
303
let cov = List.hd seg.covariances in
303
304
Alcotest.(check string)
304
305
"cov epoch" "1996-12-18T21:29:07.267" cov.cov_epoch;