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/parser_combinators.ml | |
| 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/parser_combinators.ml')
0 files changed, 0 insertions, 0 deletions