Collision Avoidance Maneuver design for conjunction assessment
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

cam: proper fuzz/ layout with fuzz.ml runner (merlint E606/E607)

+27 -5
+21 -2
fuzz/dune
··· 1 - (test 2 - (name fuzz_cam) 1 + (executable 2 + (name fuzz) 3 + (modules fuzz fuzz_cam) 3 4 (libraries cam collision alcotest)) 5 + 6 + (rule 7 + (alias runtest) 8 + (enabled_if 9 + (<> %{profile} afl)) 10 + (deps fuzz.exe) 11 + (action 12 + (run %{exe:fuzz.exe}))) 13 + 14 + (rule 15 + (alias fuzz) 16 + (enabled_if 17 + (= %{profile} afl)) 18 + (deps fuzz.exe) 19 + (action 20 + (progn 21 + (run %{exe:fuzz.exe} --gen-corpus corpus) 22 + (run afl-fuzz -V 60 -i corpus -o _fuzz -- %{exe:fuzz.exe} @@))))
+1
fuzz/fuzz.ml
··· 1 + let () = Alcotest.run "cam" [ Fuzz_cam.suite ]
+1 -3
fuzz/fuzz_cam.ml
··· 199 199 done 200 200 201 201 let suite = 202 - ( "fuzz", 202 + ( "cam", 203 203 [ 204 204 Alcotest.test_case "Pc bounds" `Quick test_pc_bounds; 205 205 Alcotest.test_case "miss distance positive" `Quick ··· 210 210 Alcotest.test_case "monotonicity" `Quick test_monotonicity; 211 211 Alcotest.test_case "large burn safety" `Quick test_large_burn_safety; 212 212 ] ) 213 - 214 - let () = Alcotest.run "cam-fuzz" [ suite ]
+4
fuzz/fuzz_cam.mli
··· 1 + (** Physical invariant fuzz tests for the CAM library. *) 2 + 3 + val suite : string * unit Alcotest.test_case list 4 + (** [suite] is the fuzz test suite. *)