module Genr_testing: sig
.. end
val genr_test_preamble : Tgenr_base.module_name -> Tgenr_base.seed -> Code.structure_item list
Generate hte AST preamble for the test file of a module.
Contains opening of necessary modules and report the test seed number.
val genr_type_test : Tgenr_base.seed ->
Tgenr_base.num_tests ->
Tgenr_base.nesting_depth ->
(string * Parsetree.type_declaration) list -> Code.structure_item list
The global test generation function: it generates the whole
set of test expressions for a module name and a type definition.
Usage: genr_type_test rnd seed ntests val_depth tds
where
rnd: wether to generate random values or not
seed: random seed
ntests: number of tests par equation
val_depth: maximum value depth, that is, number of nested constructors
tds: type declarations to test