The tests generated by these functors are run like any other unit tests: by the inline test runner when the functor is applied.
See stable_unit_test_intf.ml
for documentation regarding the argument module
types.
module Make_sexp_deserialization_test : functor (T : Core_kernel__.Stable_unit_test_intf.Arg) -> sig ... end
We provide separate access to sexp serialization and deserialization tests because some stable types will have varying sexp serializations. Notably, Time.sexp_of_t depends on the local timezone. For such types it is still important to check that all the sexps can be deserialized correctly.
module Make_sexp_serialization_test : functor (T : Core_kernel__.Stable_unit_test_intf.Arg) -> sig ... end
module Make_bin_io_test : functor (T : Core_kernel__.Stable_unit_test_intf.Arg) -> sig ... end
module Make : functor (T : Core_kernel__.Stable_unit_test_intf.Arg) -> sig ... end
Include all of the above tests.
module Make_unordered_container : functor (T : Core_kernel__.Stable_unit_test_intf.Unordered_container_arg) -> sig ... end
See stable_unit_test_intf.ml
for documentation.