diff options
Diffstat (limited to 'sailcov')
| -rw-r--r-- | sailcov/README.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/sailcov/README.md b/sailcov/README.md index 3c5c46e4..5f318a33 100644 --- a/sailcov/README.md +++ b/sailcov/README.md @@ -6,7 +6,7 @@ sailcov is a simple branch coverage visualiser for sail specifications. ### Usage First, compile your model to c using the `-c_coverage` flag and -including the [sail_coverage.h](lib/sail_coverage.h) header via +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 @@ -18,9 +18,9 @@ sail -c -c_coverage -c_include sail_coverage.h my_model.sail -o my_model > all_b Next we need to link implementations of the coverage tracking functions into the generated C. This done by using the static library -in [lib/coverage/](lib/coverage/). Currently this is written in Rust +in [lib/coverage/](../lib/coverage/). Currently this is written in Rust for want of an obvious hashset implementation in C and can be built -using `cargo build --release` which will produce a libsail_coverage.a +using `cargo build --release` which will produce a `libsail_coverage.a` static library. Once this is done, we can link this into our C emulator by passing `$SAIL_DIR/lib/coverage/libsail_coverage.a -lpthread -ldl` to gcc, where SAIL_DIR is the location of this |