Skip to content

Create rule coverage functionality - #834

Merged
moritz-gross merged 20 commits into
daisy:rule-coveragefrom
moritz-gross:create-rule-coverage-functionality
Sep 26, 2026
Merged

moritz-gross merged 20 commits into
daisy:rule-coveragefrom
moritz-gross:create-rule-coverage-functionality

Conversation

@moritz-gross

Copy link
Copy Markdown
Collaborator

No description provided.

@github-actions

github-actions Bot commented Sep 26, 2026 •

Copy link
Copy Markdown
Linux library size: 0.58 MiB (0.00%)
Revision Release liblibmathcat.so
Base (aab967c) 0.58 MiB (605,448 bytes)
PR (b3eb093) 0.58 MiB (605,448 bytes)
Change 0 bytes (0.00%)

Built with default features, Rust 1.96.0, and Ubuntu 24.04. Workflow run.

@moritz-gross
moritz-gross marked this pull request as ready for review September 26, 2026 23:13
@moritz-gross
moritz-gross merged commit 8ab0b38 into daisy:rule-coverage Sep 26, 2026
11 checks passed
moritz-gross added a commit that referenced this pull request Oct 1, 2026
* v1 of rule coverage report

* Add Python script to generate Markdown and HTML rule coverage reports

* clarify name of logfiles

* Switch rule coverage events to JSONL format

* switch to jinja2 templates

* Exclude Unicode mapping files from rule coverage report and improve report generation

* Exclude definition files from rule coverage report and update related documentation

* Add hit counts and test details to rule coverage report

Enhance the rule coverage report to include hit counts, test details, and hoverable tooltips for matched rules. Improve report formatting and coverage fraction calculation. Update related tests and documentation to reflect these changes.

* fix title

* Simplify rule coverage event recording

* Stream rule coverage events and trim unused report fields

* Suppress unused variable warning when `rule-coverage` feature is disabled

* Migrate `rule_coverage` implementation to a dedicated `rulecoverage` package, separating logic, templates, and CLI.

* uv run ruff format

* simplify dataclasses in Python

* remove "loaded" as statistic for rule coverage

* remove MD report and only keep HTML.
simplify rest accordingly.

* uv ruff format
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

1 participant