diff options
| author | Alasdair | 2020-08-25 17:20:00 +0100 |
|---|---|---|
| committer | Alasdair | 2020-08-25 17:20:00 +0100 |
| commit | 14e5c79b1c6943c88ab36ccc46f073674a76e16c (patch) | |
| tree | e0dbddb46ddbbba49d60081cb613737f26983b6e /src/jib | |
| parent | 758a5b23ff0426ab6cf880d181fce1552b7f3ca7 (diff) | |
Add function sail_set_coverage_file to sail_coverage header
Can be set by C emulator to control where coverage information is
written
Diffstat (limited to 'src/jib')
| -rw-r--r-- | src/jib/c_backend.mli | 2 |
1 files changed, 1 insertions, 1 deletions
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 |