CCSDS 502.0-B-3 Orbit Ephemeris Message parser and interpolator
oem: tighten exception handler, drop test_ prefix in interop test
float_of_string_safe now matches Failure rather than catch-all (E300).
Rename test_parse → parse in the orekit interop runner (E330 redundant
module prefix).
+3
-5
+3
-5
test/interop/orekit/test.ml
+3
-5
test/interop/orekit/test.ml
···
82
82
83
83
let float_of_string_safe s =
84
84
try float_of_string (String.trim s)
85
-
with _ -> Alcotest.failf "bad float: %S" s
85
+
with Failure _ -> Alcotest.failf "bad float: %S" s
86
86
87
87
let epsilon = 1e-6
88
88
···
93
93
Alcotest.failf "%s: expected %.10g, got %.10g (diff %.2e)" name expected
94
94
actual diff
95
95
96
-
let test_parse () =
96
+
let parse () =
97
97
let rows =
98
98
match Csvt.decode_file row_codec (trace "index.csv") with
99
99
| Ok rows -> rows
···
157
157
158
158
let () =
159
159
Alcotest.run "oem-interop-orekit"
160
-
[
161
-
("parse", [ Alcotest.test_case "parse matches Orekit" `Quick test_parse ]);
162
-
]
160
+
[ ("parse", [ Alcotest.test_case "parse matches Orekit" `Quick parse ]) ]