module Test:Debuggingsig
..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
test
. The state of the Random
module
is not modified.