Orbit Data Messages (CCSDS 502.0-B-3)
mass replace Printf.sprintf/printf with Fmt.str/pr (merlint E200)
112 files across the monorepo. Printf.sprintf → Fmt.str,
Printf.printf → Fmt.pr for consistent formatting library usage.
+7
-7
+5
-5
test/interop/gmat/test.ml
+5
-5
test/interop/gmat/test.ml
···
212
212
let dy = interp.y -. truth.y in
213
213
let dz = interp.z -. truth.z in
214
214
let err = Float.sqrt ((dx *. dx) +. (dy *. dy) +. (dz *. dz)) in
215
-
Printf.printf " Perigee radius: %.1f km, velocity: ~%.1f km/s\n" !min_r
215
+
Fmt.pr " Perigee radius: %.1f km, velocity: ~%.1f km/s\n" !min_r
216
216
(vec3_norm svs.(i).vel);
217
-
Printf.printf " Interpolation error at perigee node: %.9f km (%.3f mm)\n"
217
+
Fmt.pr " Interpolation error at perigee node: %.9f km (%.3f mm)\n"
218
218
err (err *. 1e6);
219
219
if err > 1e-6 then
220
220
Alcotest.failf "interpolation at perigee node off by %.6f km (%.1f m)"
···
264
264
svs;
265
265
let variation = !max_r -. !min_r in
266
266
Alcotest.(check bool) "radius variation < 50 km" true (variation < 50.0);
267
-
Printf.printf " GEO radius variation: %.3f km\n" variation
267
+
Fmt.pr " GEO radius variation: %.3f km\n" variation
268
268
269
269
let test_geo_no_nan_or_inf () =
270
270
let oem = parse_oem "geo_3day.oem" in
···
312
312
Alcotest.(check bool)
313
313
"apogee ~46000 km" true
314
314
(!max_r > 44000.0 && !max_r < 48000.0);
315
-
Printf.printf " Molniya: perigee %.1f km, apogee %.1f km\n" !min_r !max_r
315
+
Fmt.pr " Molniya: perigee %.1f km, apogee %.1f km\n" !min_r !max_r
316
316
317
317
let test_molniya_velocity_range () =
318
318
let oem = parse_oem "molniya_2day.oem" in
···
373
373
let a0 = 1.0 /. ((2.0 /. r0) -. (v0 *. v0 /. mu)) in
374
374
(* SMA should be ~26600 km *)
375
375
Alcotest.(check bool) "SMA ~26600 km" true (a0 > 26000.0 && a0 < 27200.0);
376
-
Printf.printf " Molniya SMA from vis-viva: %.1f km (expected ~26600)\n" a0;
376
+
Fmt.pr " Molniya SMA from vis-viva: %.1f km (expected ~26600)\n" a0;
377
377
(* Check vis-viva consistency across all points.
378
378
Allow 2% for J2/lunisolar perturbations — Molniya's high eccentricity
379
379
means J2 secular effects on SMA are significant (apsidal precession). *)
+1
-1
test/test_odm.ml
+1
-1
test/test_odm.ml
···
297
297
let seg = List.hd oem.segments in
298
298
let ndata = Array.length seg.data in
299
299
let ncov = List.length seg.covariances in
300
-
Printf.printf " data=%d covs=%d\n" ndata ncov;
300
+
Fmt.pr " data=%d covs=%d\n" ndata ncov;
301
301
Alcotest.(check int) "has state vectors" 2 ndata;
302
302
Alcotest.(check int) "has 1 covariance entry" 1 ncov;
303
303
let cov = List.hd seg.covariances in