Bloom filter for probabilistic membership testing
fix(lint): enforce E600 test module convention across all test suites
Refactor all test directories to follow the convention: test_*.ml exports
suite/suites values, test_*.mli exposes only the suite type, and a single
test.ml runner aggregates and calls Alcotest.run. Consolidate dune files
to single test stanzas per directory.
+14
-17
-1
test/main.ml
-1
test/main.ml
···
1
-
let () = Test_bloom.run ()
-3
test/main.mli
-3
test/main.mli
+1
test/test.ml
+1
test/test.ml
···
1
+
let () = Alcotest.run "Bloom" Test_bloom.suite
+11
-10
test/test_bloom.ml
+11
-10
test/test_bloom.ml
···
89
89
90
90
let suite =
91
91
[
92
-
("Mem returns true when element was added", `Quick, test_mem);
93
-
( "False positive rate is as specified (15% error allowed)",
94
-
`Slow,
95
-
test_errors );
96
-
("Size estimate is correct", `Slow, test_size);
97
-
("Union", `Quick, test_union);
98
-
("Intersection", `Quick, test_inter);
99
-
("Serialisation", `Quick, test_bytes);
92
+
( "bloom",
93
+
[
94
+
("Mem returns true when element was added", `Quick, test_mem);
95
+
( "False positive rate is as specified (15% error allowed)",
96
+
`Slow,
97
+
test_errors );
98
+
("Size estimate is correct", `Slow, test_size);
99
+
("Union", `Quick, test_union);
100
+
("Intersection", `Quick, test_inter);
101
+
("Serialisation", `Quick, test_bytes);
102
+
] );
100
103
]
101
-
102
-
let run () = Alcotest.run "Bloom" [ ("bloom", suite) ]