From abcbe8dc0f6752b75f801ce44420176469f08a7a Mon Sep 17 00:00:00 2001 From: Simmo Saan Date: Thu, 22 Feb 2024 11:48:19 +0200 Subject: [PATCH] Update coverage documentation --- docs/developer-guide/testing.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/developer-guide/testing.md b/docs/developer-guide/testing.md index 822166e39c..ff395383f8 100644 --- a/docs/developer-guide/testing.md +++ b/docs/developer-guide/testing.md @@ -178,7 +178,7 @@ To run `bisect_ppx` locally: 1. Install bisect_ppx with `opam install bisect_ppx`. 2. Run `make coverage` to build Goblint with bisect_ppx instrumentation. -3. Run tests (this will now generate `.coverage` files in various directories). -4. Generate coverage report with `bisect-ppx-report html --coverage-path=.`. +3. Run tests with coverage: `dune runtest --instrument-with bisect_ppx` (this will now generate `.coverage` files in various directories). +4. Generate coverage report with `bisect-ppx-report html`. 5. After that the generated `.coverage` files can be removed with `find . -type f -name '*.coverage' -delete`. 6. The HTML report can be found in the `_coverage` folder.