val test_function_1 :
?test:'b tester ->
?test_stdout:io_tester ->
?test_stderr:io_tester ->
?before:('a -> unit) ->
?after:
('a ->
('b * string * string) ->
('b * string * string) ->
Learnocaml_report.t) ->
('a -> 'b) Ty.ty ->
string ->
('a * 'b * string * string) list ->
Learnocaml_report.tval test_function_1_against :
?gen:int ->
?test:'b tester ->
?test_stdout:io_tester ->
?test_stderr:io_tester ->
?before_reference:('a -> unit) ->
?before_user:('a -> unit) ->
?after:
('a ->
('b * string * string) ->
('b * string * string) ->
Learnocaml_report.t) ->
?sampler:(unit -> 'a) ->
('a -> 'b) Ty.ty ->
string ->
('a -> 'b) ->
'a list ->
Learnocaml_report.tval test_function_1_against_solution :
?gen:int ->
?test:'b tester ->
?test_stdout:io_tester ->
?test_stderr:io_tester ->
?before_reference:('a -> unit) ->
?before_user:('a -> unit) ->
?after:
('a ->
('b * string * string) ->
('b * string * string) ->
Learnocaml_report.t) ->
?sampler:(unit -> 'a) ->
('a -> 'b) Ty.ty ->
string ->
'a list ->
Learnocaml_report.tval test_function_1_against_postcond :
?gen:int ->
?test_stdout:io_postcond ->
?test_stderr:io_postcond ->
?before_reference:('a -> unit) ->
?before_user:('a -> unit) ->
?after:('a -> ('b * string * string) -> Learnocaml_report.t) ->
?sampler:(unit -> 'a) ->
('a -> 'b Ty.ty -> 'b result -> Learnocaml_report.t) ->
('a -> 'b) Ty.ty ->
string ->
'a list ->
Learnocaml_report.tval test_function_2 :
?test:'c tester ->
?test_stdout:io_tester ->
?test_stderr:io_tester ->
?before:('a -> 'b -> unit) ->
?after:
('a ->
'b ->
('c * string * string) ->
('c * string * string) ->
Learnocaml_report.t) ->
('a -> 'b -> 'c) Ty.ty ->
string ->
('a * 'b * 'c * string * string) list ->
Learnocaml_report.tval test_function_2_against :
?gen:int ->
?test:'c tester ->
?test_stdout:io_tester ->
?test_stderr:io_tester ->
?before_reference:('a -> 'b -> unit) ->
?before_user:('a -> 'b -> unit) ->
?after:
('a ->
'b ->
('c * string * string) ->
('c * string * string) ->
Learnocaml_report.t) ->
?sampler:(unit -> 'a * 'b) ->
('a -> 'b -> 'c) Ty.ty ->
string ->
('a -> 'b -> 'c) ->
('a * 'b) list ->
Learnocaml_report.tval test_function_2_against_solution :
?gen:int ->
?test:'c tester ->
?test_stdout:io_tester ->
?test_stderr:io_tester ->
?before_reference:('a -> 'b -> unit) ->
?before_user:('a -> 'b -> unit) ->
?after:
('a ->
'b ->
('c * string * string) ->
('c * string * string) ->
Learnocaml_report.t) ->
?sampler:(unit -> 'a * 'b) ->
('a -> 'b -> 'c) Ty.ty ->
string ->
('a * 'b) list ->
Learnocaml_report.tval test_function_2_against_postcond :
?gen:int ->
?test_stdout:io_postcond ->
?test_stderr:io_postcond ->
?before_reference:('a -> 'b -> unit) ->
?before_user:('a -> 'b -> unit) ->
?after:('a -> 'b -> ('c * string * string) -> Learnocaml_report.t) ->
?sampler:(unit -> 'a * 'b) ->
('a -> 'b -> 'c Ty.ty -> 'c result -> Learnocaml_report.t) ->
('a -> 'b -> 'c) Ty.ty ->
string ->
('a * 'b) list ->
Learnocaml_report.tval test_function_3 :
?test:'d tester ->
?test_stdout:io_tester ->
?test_stderr:io_tester ->
?before:('a -> 'b -> 'c -> unit) ->
?after:
('a ->
'b ->
'c ->
('d * string * string) ->
('d * string * string) ->
Learnocaml_report.t) ->
('a -> 'b -> 'c -> 'd) Ty.ty ->
string ->
('a * 'b * 'c * 'd * string * string) list ->
Learnocaml_report.tval test_function_3_against :
?gen:int ->
?test:'d tester ->
?test_stdout:io_tester ->
?test_stderr:io_tester ->
?before_reference:('a -> 'b -> 'c -> unit) ->
?before_user:('a -> 'b -> 'c -> unit) ->
?after:
('a ->
'b ->
'c ->
('d * string * string) ->
('d * string * string) ->
Learnocaml_report.t) ->
?sampler:(unit -> 'a * 'b * 'c) ->
('a -> 'b -> 'c -> 'd) Ty.ty ->
string ->
('a -> 'b -> 'c -> 'd) ->
('a * 'b * 'c) list ->
Learnocaml_report.tval test_function_3_against_solution :
?gen:int ->
?test:'d tester ->
?test_stdout:io_tester ->
?test_stderr:io_tester ->
?before_reference:('a -> 'b -> 'c -> unit) ->
?before_user:('a -> 'b -> 'c -> unit) ->
?after:
('a ->
'b ->
'c ->
('d * string * string) ->
('d * string * string) ->
Learnocaml_report.t) ->
?sampler:(unit -> 'a * 'b * 'c) ->
('a -> 'b -> 'c -> 'd) Ty.ty ->
string ->
('a * 'b * 'c) list ->
Learnocaml_report.tval test_function_3_against_postcond :
?gen:int ->
?test_stdout:io_postcond ->
?test_stderr:io_postcond ->
?before_reference:('a -> 'b -> 'c -> unit) ->
?before_user:('a -> 'b -> 'c -> unit) ->
?after:('a -> 'b -> 'c -> ('d * string * string) -> Learnocaml_report.t) ->
?sampler:(unit -> 'a * 'b * 'c) ->
('a -> 'b -> 'c -> 'd Ty.ty -> 'd result -> Learnocaml_report.t) ->
('a -> 'b -> 'c -> 'd) Ty.ty ->
string ->
('a * 'b * 'c) list ->
Learnocaml_report.tval test_function_4 :
?test:'e tester ->
?test_stdout:io_tester ->
?test_stderr:io_tester ->
?before:('a -> 'b -> 'c -> 'd -> unit) ->
?after:
('a ->
'b ->
'c ->
'd ->
('e * string * string) ->
('e * string * string) ->
Learnocaml_report.t) ->
('a -> 'b -> 'c -> 'd -> 'e) Ty.ty ->
string ->
('a * 'b * 'c * 'd * 'e * string * string) list ->
Learnocaml_report.tval test_function_4_against :
?gen:int ->
?test:'e tester ->
?test_stdout:io_tester ->
?test_stderr:io_tester ->
?before_reference:('a -> 'b -> 'c -> 'd -> unit) ->
?before_user:('a -> 'b -> 'c -> 'd -> unit) ->
?after:
('a ->
'b ->
'c ->
'd ->
('e * string * string) ->
('e * string * string) ->
Learnocaml_report.t) ->
?sampler:(unit -> 'a * 'b * 'c * 'd) ->
('a -> 'b -> 'c -> 'd -> 'e) Ty.ty ->
string ->
('a -> 'b -> 'c -> 'd -> 'e) ->
('a * 'b * 'c * 'd) list ->
Learnocaml_report.tval test_function_4_against_solution :
?gen:int ->
?test:'e tester ->
?test_stdout:io_tester ->
?test_stderr:io_tester ->
?before_reference:('a -> 'b -> 'c -> 'd -> unit) ->
?before_user:('a -> 'b -> 'c -> 'd -> unit) ->
?after:
('a ->
'b ->
'c ->
'd ->
('e * string * string) ->
('e * string * string) ->
Learnocaml_report.t) ->
?sampler:(unit -> 'a * 'b * 'c * 'd) ->
('a -> 'b -> 'c -> 'd -> 'e) Ty.ty ->
string ->
('a * 'b * 'c * 'd) list ->
Learnocaml_report.tval test_function_4_against_postcond :
?gen:int ->
?test_stdout:io_postcond ->
?test_stderr:io_postcond ->
?before_reference:('a -> 'b -> 'c -> 'd -> unit) ->
?before_user:('a -> 'b -> 'c -> 'd -> unit) ->
?after:
('a -> 'b -> 'c -> 'd -> ('e * string * string) -> Learnocaml_report.t) ->
?sampler:(unit -> 'a * 'b * 'c * 'd) ->
('a -> 'b -> 'c -> 'd -> 'e Ty.ty -> 'e result -> Learnocaml_report.t) ->
('a -> 'b -> 'c -> 'd -> 'e) Ty.ty ->
string ->
('a * 'b * 'c * 'd) list ->
Learnocaml_report.t