+12

fuzz/dune

reviewed

··· 1 1 + (executable 2 2 + (name fuzz) 3 3 + (modules fuzz fuzz_collision) 4 4 + (libraries collision alcotest)) 5 5 + 6 6 + (rule 7 7 + (alias runtest) 8 8 + (enabled_if 9 9 + (<> %{profile} afl)) 10 10 + (deps fuzz.exe) 11 11 + (action 12 12 + (run %{exe:fuzz.exe})))

+1

fuzz/fuzz.ml

reviewed

··· 1 1 + let () = Alcotest.run "collision" [ Fuzz_collision.suite ]

+4

fuzz/fuzz_collision.mli

reviewed

··· 1 1 + (** CARA property-based tests for the collision library. *) 2 2 + 3 3 + val suite : string * unit Alcotest.test_case list 4 4 + (** [suite] is the property test suite. *)

+1 -1

test/test.ml

reviewed

··· 1 1 let () = 2 2 Alcotest.run "collision" 3 3 - [ Test_collision.suite; Test_collision_properties.suite ] 3 3 + [ Test_collision.suite ]

+1 -1

test/test_collision_properties.ml fuzz/fuzz_collision.ml

reviewed

··· 219 219 check_float "sign invariance y" ~eps:1e-10 pc1 pc3 220 220 221 221 let suite = 222 222 - ( "cara", 222 222 + ( "collision", 223 223 [ 224 224 Alcotest.test_case "small miss" `Quick test_small_miss; 225 225 Alcotest.test_case "large miss" `Quick test_large_miss;

-3

test/test_collision_properties.mli

reviewed

··· 1 1 - (** NASA CARA Pc test vectors. *) 2 2 - 3 3 - val suite : string * unit Alcotest.test_case list