|
| (+|) [Report_utils.Infix] |
Returns the sum of the passed arrays, using saturation arithmetic to sum
elements.
|
A |
| add [Report_utils] |
add x y returns the sum of counts x and y.
|
| add [Exclusions] |
Adds a list of comma-separated elements to excluded list.
|
| add_file [Exclusions] |
Adds a filename pattern to the list of files to exclude.
|
| add_from_file [Exclusions] |
Adds exclusions from the passed file to excluded list.
|
B |
| bisect_file [Bisect_common] |
Default value for BISECT_FILE.
|
| bisect_silent [Bisect_common] |
Default value for BISECT_SILENT.
|
C |
| contains_file [Exclusions] |
contains_file file tests whether the entire file with name name is in
the excluded files list.
|
| contains_value [Exclusions] |
contains_value file name tests whether toplevel value with name
name from file file is in excluded list.
|
D |
| deprecated [Bisect_common] |
Appends a specification for a deprecated command-line argument.
|
| dump_counters_exn [Runtime] |
dump_counters_exn channel dumps the runtime coverage counters
to the specified channel.
|
G |
| get_coverage_data [Runtime] |
Returns the binary coverage data accumulated by the program so far.
|
M |
| make [Report_utils] |
Evaluates to {visited = 0; total = 0}.
|
| make [Report_text] |
Returns a converter for bare text output, the passed boolean indicates
whether only summary should be output.
|
| make [Report_dump] |
Returns a converter for dump output.
|
| make [Report_csv] |
Returns a converter for CSV output, the passed string being the separator.
|
| mkdirs [Report_utils] |
Creates the directory whose path is passed, and all necessary parent
directories.
|
O |
| open_both [Report_utils] |
open_both in_file out_file return a (i, o) couple where: i is an input channel for in_file;, o is an output channel for out_file.
Raises an exception if an error occurs; ensures that files are either
both opened or both closed.
|
| output [Report_text] |
Writes a text summary report to STDOUT.
|
| output [Report_html] |
output verbose dir tab_size title theme resolver data points writes all
the HTML files for data in the directory dir.
|
| output [Report_generic] |
output verbose file conv data points writes the element for data to file
file using conv for data conversion, verbose for verbose output.
|
| output [Report_coveralls] |
output verbose file service_name service_job_id repo_token resolver data points
writes a Coveralls JSON file for data.
|
| output_strings [Report_utils] |
output_strings lines mapping ch writes the elements of lines
to the channel ch.
|
R |
| random_filename [Bisect_common] |
Returns a random filename, with the given prefix.
|
| read_points [Bisect_common] |
read_points s reads point definitions from the string s.
|
| read_runtime_data [Bisect_common] |
read_runtime_data f reads the runtime data from file f.
|
| register_file [Runtime] |
register_file ~bisect_file ~bisect_silent file ~point_count
~point_definitions indicates that the file file is part of the
application that has been instrumented.
|
| register_file [Bisect_common] |
register_file file ~point_count ~point_definitions indicates that the file
file is part of the application that has been instrumented.
|
| reset_counters [Runtime] |
reset_counters () will reset the runtime coverage counters.
|
| reset_counters [Bisect_common] |
Clears accumulated coverage statistics.
|
| runtime_data_to_string [Bisect_common] |
|
S |
| split [Report_utils] |
split p [e1; ...; en] returns ([e1; ...; e(i-1)], [ei; ...; en])
where i is the lowest index such that p ei evaluates to false.
|
T |
| try_out_channel [Bisect_common] |
try_out_channel bin filename f opens an output channel for the file given
at filename, and then runs f.
|
U |
| update [Report_utils] |
update counts v updates counts.
|
W |
| write_coverage_data [Runtime] |
On Node.js, writes the same coverage data that is returned by
Runtime.get_coverage_data to a .coverage file with a randomized name in the
current directory.
|
| write_points [Bisect_common] |
write_points pts converts the point definitions pts to a string.
|
| write_runtime_data [Bisect_common] |
write_runtime_data o writes the current runtime data to the output
channel oc using the Bisect file format.
|