From 14e5c79b1c6943c88ab36ccc46f073674a76e16c Mon Sep 17 00:00:00 2001 From: Alasdair Date: Tue, 25 Aug 2020 17:20:00 +0100 Subject: Add function sail_set_coverage_file to sail_coverage header Can be set by C emulator to control where coverage information is written --- src/jib/c_backend.mli | 2 +- src/sail.ml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/jib/c_backend.mli b/src/jib/c_backend.mli index 5f2d5211..2d3d3c2b 100644 --- a/src/jib/c_backend.mli +++ b/src/jib/c_backend.mli @@ -89,7 +89,7 @@ val opt_extra_params : string option ref val opt_extra_arguments : string option ref val opt_branch_coverage : out_channel option ref - + (** Optimization flags *) val optimize_primops : bool ref diff --git a/src/sail.ml b/src/sail.ml index 31fc7717..d07ea216 100644 --- a/src/sail.ml +++ b/src/sail.ml @@ -234,7 +234,7 @@ let options = Arg.align ([ " remove comma separated list of functions from C output, replacing them with unit"); ( "-c_coverage", Arg.String (fun str -> C_backend.opt_branch_coverage := Some (open_out str)), - " output file for C code instrumention to track branch coverage"); + " Turn on coverage tracking and output information about all branches and functions to a file"); ( "-elf", Arg.String (fun elf -> opt_process_elf := Some elf), " process an ELF file so that it can be executed by compiled C code"); -- cgit v1.2.3