Skip to content

Create rule coverage functionality (#834) - #845

Merged
moritz-gross merged 1 commit into
mainfrom
rule-coverage
Oct 1, 2026
Merged

moritz-gross merged 1 commit into
mainfrom
rule-coverage

Conversation

@moritz-gross

Copy link
Copy Markdown
Collaborator
  • 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

* 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
@github-actions

github-actions Bot commented Oct 1, 2026

Copy link
Copy Markdown
Linux library size: 0.58 MiB (-0.06%)
Revision Release liblibmathcat.so
Base (e1692f0) 0.58 MiB (605,800 bytes)
PR (8ab0b38) 0.58 MiB (605,448 bytes)
Change -352 bytes (-0.06%)

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

@moritz-gross
moritz-gross merged commit 18f1cf9 into main Oct 1, 2026
21 checks passed
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