@@ -267,7 +267,7 @@ module type S = sig
267
267
val test : 'a tester
268
268
269
269
(* * [test_ignore] is a {!S.tester} that compares only the constructor of its
270
- {S.result} inputs. The content is ignored. If the constructors
270
+ {! S.result} inputs. The content is ignored. If the constructors
271
271
match, an empty report is returned. *)
272
272
val test_ignore : 'a tester
273
273
@@ -284,7 +284,7 @@ module type S = sig
284
284
val test_eq_exn : (exn -> exn -> bool ) -> 'a tester
285
285
286
286
(* * [test_canon canon] builds a {!S.tester} that compares its two
287
- {S.result} inputs after application to [canon] function with
287
+ {! S.result} inputs after application to [canon] function with
288
288
Ocaml structural equality. *)
289
289
val test_canon : ('a result -> 'a result ) -> 'a tester
290
290
@@ -379,7 +379,7 @@ module type S = sig
379
379
also made at this time and so mutate during solution
380
380
execution. They can then be compared with [out.test].
381
381
382
- [out.test] is a {S.tester} which actually builds two reports,
382
+ [out.test] is a {! S.tester} which actually builds two reports,
383
383
one using its optional argument [~test_result] and one that
384
384
compares the values of the references set previously using
385
385
[test_ref]. By default [~test_result] is equal to
@@ -581,7 +581,7 @@ module type S = sig
581
581
582
582
(* * {3 Returned report}*)
583
583
584
- (* * The grading functions for functions return a {report} which
584
+ (* * The grading functions for functions return a {! report} which
585
585
actually concatenated 4 reports generated by (in this order):
586
586
587
587
- the tester [~test]
@@ -1000,37 +1000,42 @@ module type S = sig
1000
1000
(* * The various grading functions use numerous common optional
1001
1001
argument. Here is a list in alphabetic order of each of them.
1002
1002
1003
- {3 ?after} defines a function which is called with the current
1003
+ {3 ?after}
1004
+ defines a function which is called with the current
1004
1005
tested inputs, the student {!type:result} and the solution
1005
1006
{!type:result} and returns a new report which is concatenated to
1006
1007
reports built with [~test], [~test_sdtout] and [~test_sdterr].
1007
1008
Enables for example to inspect references introduced with
1008
1009
[~before], [~before_user] or [~before_reference] and build an
1009
1010
appropriate report. Default value is [fun _ _ _ -> []].
1010
1011
1011
- {3 ?before} defines a function called right before the application
1012
+ {3 ?before}
1013
+ defines a function called right before the application
1012
1014
of student function to the current tested inputs. Default value
1013
1015
is [fun _ -> ()]
1014
1016
1015
1017
For [test_function_<args_nb>] only.
1016
1018
1017
- {3 ?before_reference} defines a function called right before the
1019
+ {3 ?before_reference}
1020
+ defines a function called right before the
1018
1021
application of solution function to the current tested
1019
1022
inputs. This function is called {b before} student function
1020
1023
evaluation. Default value is [fun _ -> ()].
1021
1024
1022
1025
For [test_function_<args_nb>_against] and
1023
1026
[test_function_<args_nb>_against_solution].
1024
1027
1025
- {3 ?before_user} defines a function called right before the
1028
+ {3 ?before_user}
1029
+ defines a function called right before the
1026
1030
application of student function to the current tested
1027
1031
inputs. This function is called {b after} solution function
1028
1032
evaluation. Default value is [fun _ -> ()].
1029
1033
1030
1034
For [test_function_<args_nb>_against] and
1031
1035
[test_function_<args_nb>_against_solution].
1032
1036
1033
- {3 ?gen} Number of automatically generated tested inputs. Inputs
1037
+ {3 ?gen}
1038
+ Number of automatically generated tested inputs. Inputs
1034
1039
are generated using either sampler defined in the current
1035
1040
environment or function defined with [~sampler] optional
1036
1041
argument. By default, [gen] is [max 5 (10 - List.length
@@ -1041,7 +1046,8 @@ module type S = sig
1041
1046
1042
1047
See {{!Sampler.sampler_sec}Sampler module}.
1043
1048
1044
- {3 ?sampler} defines the function used to automatically generated
1049
+ {3 ?sampler}
1050
+ defines the function used to automatically generated
1045
1051
inputs. If unset, the grading function checks if a sampler is
1046
1052
defined for each input type in the current environment. Such
1047
1053
sampler for a type [some-type] must be named [sample_some-type]
@@ -1053,20 +1059,23 @@ module type S = sig
1053
1059
1054
1060
See {{!Sampler.sampler_sec}Sampler module}.
1055
1061
1056
- {3 ?test} defines the function used to compare the output of
1062
+ {3 ?test}
1063
+ defines the function used to compare the output of
1057
1064
student function and the output of solution function. Default
1058
1065
value is {!Tester.test}.
1059
1066
1060
1067
See {{!Tester.tester_sec}predefined testers and tester builders}.
1061
1068
1062
- {3 ?test_sdterr} defines the function used to compare the standard
1069
+ {3 ?test_sdterr}
1070
+ defines the function used to compare the standard
1063
1071
output produced by student function and the one produced by
1064
1072
solution function. Default value is {!Tester.io_test_ignore}.
1065
1073
1066
1074
See {{!Tester.io_tester_sec}predefined IO testers and IO tester
1067
1075
builders}.
1068
1076
1069
- {3 ?test_sdtout} defines the function used to compare the standard
1077
+ {3 ?test_sdtout}
1078
+ defines the function used to compare the standard
1070
1079
error produced by student function and the one produced by
1071
1080
solution function. Default value is {!Tester.io_test_ignore}.
1072
1081
@@ -1085,7 +1094,7 @@ module type S = sig
1085
1094
1086
1095
(* * [run_timeout ?time v] executes [v()] under an optional time limit.
1087
1096
The exceptions raised by [v] are intentionally *not* caught,
1088
- so the caller is able to catch and get a backtrace, if desired.
1097
+ so the caller is able to catch and get a backtrace, if desired.
1089
1098
If given, [time] overrides the global timeout parameter.
1090
1099
*)
1091
1100
val run_timeout : ?time : int -> (unit -> 'a ) -> 'a
0 commit comments