close
Skip to content

Setup bisect_ppx - #20

Merged
mlemerre merged 1 commit into
codex-semantics-library:mainfrom
Julow:bisect_ppx
Dec 18, 2025
Merged

Setup bisect_ppx#20
mlemerre merged 1 commit into
codex-semantics-library:mainfrom
Julow:bisect_ppx

Conversation

@Julow

@Julow Julow commented Dec 18, 2025

Copy link
Copy Markdown
Contributor

Dune has first class support for bisect_ppx, which makes the setup trivial. These commands run the instrumented code and generate the HTML report:

dune runtest --instrument-with bisect_ppx --force
bisect-ppx-report html

The coverage report in HTML format can be found at:

_coverage/index.html

The library is not instrumented and does not depend on bisect_ppx when it's built with a different command than above.

The current coverage is 61.38% for the entire project and 63% for src/functors.ml.

Dune has first class support for bisect_ppx, which makes the setup
trivial. These commands run the instrumented code and generate the HTML
report:

    dune runtest --instrument-with bisect_ppx --force
    bisect-ppx-report html

The coverage report in HTML format can be found at:

    _coverage/index.html

The library is not instrumented and does not depend on bisect_ppx when
it's built with a different command than above.

The current coverage is 61.38% for the entire project and 63% for
`src/functors.ml`.
@dlesbre dlesbre added the enhancement New feature or request label Dec 18, 2025
@dlesbre

dlesbre commented Dec 18, 2025

Copy link
Copy Markdown
Collaborator

Thanks for this PR, it sound useful!

Unfortunately I can't review this until January, but good coverage is always useful, especially if its this easy to setup.

@Julow Julow mentioned this pull request Dec 18, 2025
@mlemerre

Copy link
Copy Markdown
Contributor

Great idea, thanks!

@mlemerre
mlemerre merged commit e9828ab into codex-semantics-library:main Dec 18, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants