diff options
| -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 |