Collision Avoidance Maneuver design for conjunction assessment
Fix turbo decoder, add fuzzers for SDLS/RS/FlexACM
- Fix BCJR extrinsic LLR double-subtraction in turbo decoder;
all 7 turbo roundtrip tests now pass (39 total tm-sync tests)
- ocaml-sdls/fuzz: SA lifecycle, key state, EP PDU roundtrip (13 tests)
- ocaml-reed-solomon/fuzz: encode/decode with random errors (6 tests)
- ocaml-flexacm/fuzz: mode lookup, SNR monotonicity (6 tests)
+5
-5
+5
-5
test/test_cam.ml
+5
-5
test/test_cam.ml
···
152
152
let dt = 3600.0 in
153
153
match
154
154
Cam.min_dv ~miss_r:std_miss_r ~miss_t:std_miss_t ~miss_n:std_miss_n
155
-
~sigma_r:std_sigma_r ~sigma_t:std_sigma_t ~hbr:std_hbr ~dt ~target_pc
155
+
~sigma_r:std_sigma_r ~sigma_t:std_sigma_t ~hbr:std_hbr ~dt ~target_pc ()
156
156
with
157
157
| None -> Alcotest.fail "min_dv should return Some"
158
158
| Some dv ->
···
175
175
(* Use huge miss → Pc ≈ 0, so any target > 0 is already met *)
176
176
match
177
177
Cam.min_dv ~miss_r:1e5 ~miss_t:1e5 ~miss_n:0.0 ~sigma_r:50.0 ~sigma_t:500.0
178
-
~hbr:10.0 ~dt:3600.0 ~target_pc:1e-4
178
+
~hbr:10.0 ~dt:3600.0 ~target_pc:1e-4 ()
179
179
with
180
180
| None -> Alcotest.fail "should return Some 0"
181
181
| Some dv -> check_float "already safe dv" 0.0 dv
···
185
185
match
186
186
Cam.min_dv ~miss_r:std_miss_r ~miss_t:std_miss_t ~miss_n:std_miss_n
187
187
~sigma_r:std_sigma_r ~sigma_t:std_sigma_t ~hbr:std_hbr ~dt:3600.0
188
-
~target_pc:0.0
188
+
~target_pc:0.0 ()
189
189
with
190
190
| None -> ()
191
191
| Some dv -> Alcotest.failf "expected None for target_pc=0, got Some %.6f" dv
···
198
198
Cam.screen ~miss_r:std_miss_r ~miss_t:std_miss_t ~miss_n:std_miss_n
199
199
~sigma_r:std_sigma_r ~sigma_t:std_sigma_t ~hbr:std_hbr
200
200
~dv_options:[ 5.0; 0.1; 1.0; 0.5; 10.0 ]
201
-
~dt:3600.0
201
+
~dt:3600.0 ()
202
202
in
203
203
let rec check_sorted = function
204
204
| [] | [ _ ] -> ()
···
215
215
let results =
216
216
Cam.screen ~miss_r:std_miss_r ~miss_t:std_miss_t ~miss_n:std_miss_n
217
217
~sigma_r:std_sigma_r ~sigma_t:std_sigma_t ~hbr:std_hbr ~dv_options:options
218
-
~dt:3600.0
218
+
~dt:3600.0 ()
219
219
in
220
220
if List.length results <> List.length options then
221
221
Alcotest.failf "expected %d results, got %d" (List.length options)