module Test: Debugging
val test :
(int * int) list -> (int * int) list -> unit
test ul vl
compares performance and correctness of set intersection and union. Sets of type
are constructed from the given
, 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
is not modified.