diff options
| author | Alasdair Armstrong | 2020-06-12 17:36:58 +0100 |
|---|---|---|
| committer | GitHub | 2020-06-12 17:36:58 +0100 |
| commit | 81895cb3af440536c5a8b86136c3de1836d5098a (patch) | |
| tree | d616eff4b72835e7462e77058ba226337c6e8a1d /src/sail.ml | |
| parent | e93b34914e70d8590fa86c81577fbe723236c086 (diff) | |
| parent | 1ecaed675113ccd366cf828ab2743a347bac72d3 (diff) | |
Merge pull request #70 from rems-project/branch-info-output-file
Use output file for generated branch information.
Diffstat (limited to 'src/sail.ml')
| -rw-r--r-- | src/sail.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/sail.ml b/src/sail.ml index 75adcd9c..b537705c 100644 --- a/src/sail.ml +++ b/src/sail.ml @@ -233,8 +233,8 @@ let options = Arg.align ([ Arg.String (fun str -> Constant_fold.opt_fold_to_unit := Util.split_on_char ',' str), " remove comma separated list of functions from C output, replacing them with unit"); ( "-c_coverage", - Arg.Set C_backend.opt_branch_coverage, - " instrument C code to track branch coverage"); + Arg.String (fun str -> C_backend.opt_branch_coverage := Some (open_out str)), + " output file for C code instrumention to track branch coverage"); ( "-elf", Arg.String (fun elf -> opt_process_elf := Some elf), " process an ELF file so that it can be executed by compiled C code"); |