diff options
| author | Alasdair Armstrong | 2020-06-12 17:41:11 +0100 |
|---|---|---|
| committer | GitHub | 2020-06-12 17:41:11 +0100 |
| commit | 3eee31df2a2c07eca7e899b42746ce02af9c56ff (patch) | |
| tree | 09a29bccc111b058dfe9e95e677581d646020123 | |
| parent | 81895cb3af440536c5a8b86136c3de1836d5098a (diff) | |
Update sailcov readme for option change
| -rw-r--r-- | sailcov/README.md | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/sailcov/README.md b/sailcov/README.md index a7aadc68..31c775c1 100644 --- a/sailcov/README.md +++ b/sailcov/README.md @@ -9,13 +9,12 @@ Requires OCaml 4.07 or greater First, compile your model to c using the `-c_coverage` flag and including the [sail_coverage.h](../lib/sail_coverage.h) header via -the `-c_include sail_coverage.h` flag. Currently the `-c_coverage` -option will print information about possible branches and function -calls to stdout, which will be needed later, so redirect this to a -file called `all_branches`, i.e. +the `-c_include sail_coverage.h` flag. The `-c_coverage` +option will print information about all possible branches and function +calls to a given file, called `all_branches` in the example below, i.e. ``` -sail -c -c_coverage -c_include sail_coverage.h my_model.sail -o my_model > all_branches +sail -c -c_coverage all_branches -c_include sail_coverage.h my_model.sail -o my_model ``` Next we need to link implementations of the coverage tracking |