Module Biocaml_rSet.Test

module Test: sig .. end

val test : (int * int) list -> (int * int) list -> unit

test ul vl compares performance and correctness of set intersection and union. Sets of type IntSet.t and Biocaml_rSet.t are constructed from the given ul and vl, and the corresponding intersection and union operations are used on the two versions. Messages are printed reporting times required to construct the sets, and take their intersection and union. Also, it is verified that the operations produce identical results.

val default_test : unit -> unit

This function generates random lists and uses them as arguments for test. The state of the Random module is not modified.