Index of values

(+|) [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]

Same as Bisect_common.write_runtime_data, but accumulates output in a string instead.

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.