Update coverage documentation

goblint · Feb 22, 2024 · abcbe8d · abcbe8d
1 parent b7f2a0a
commit abcbe8d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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.