gazagnaire.org / ocaml-cam
Collision Avoidance Maneuver design for conjunction assessment
0
fork

Configure Feed

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

cam: move property-based tests to fuzz/ (merlint E605)

test_fuzz.ml → fuzz/fuzz_cam.ml as a standalone test executable.
Property-based tests belong in fuzz/, not test/.

Thomas Gazagnaire 9bfb3b63 1e64d9c5

+6 -4
+3
fuzz/dune
··· 1 + (test 2 + (name fuzz_cam) 3 + (libraries cam collision alcotest))
+2
fuzz/fuzz_cam.ml
··· 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 ]
-3
fuzz/fuzz_cam.mli
··· 1 - (** Physical invariant fuzz tests for the CAM library. *) 2 - 3 - val suite : string * unit Alcotest.test_case list
+1 -1
test/test.ml
··· 1 - let () = Alcotest.run "cam" [ Test_cam.suite; Test_fuzz.suite ] 1 + let () = Alcotest.run "cam" [ Test_cam.suite ]