Skip to content

[TS PBT] Collect per-property TypeScript coverage - #378

Merged
CaelmBleidd merged 7 commits into
mainfrom
caelmbleidd/issue-349-per-property-coverage
Aug 29, 2026
Merged

[TS PBT] Collect per-property TypeScript coverage#378
CaelmBleidd merged 7 commits into
mainfrom
caelmbleidd/issue-349-per-property-coverage

Conversation

@CaelmBleidd

@CaelmBleidd CaelmBleidd commented Aug 28, 2026

Copy link
Copy Markdown
Member

Summary

  • add backend-neutral per-property coverage capability, request, artifact, and diagnostics
  • collect isolated c8 10.1.3 Istanbul reports with source-map remapping and deterministic statement, function, and branch hits
  • support coverage scopes plus include and exclude globs in the Kotlin API and CLI
  • preserve predicate cwd while isolating c8 from project-local configuration
  • package the collector in installDist and document the coverage contract

Verification

  • ./gradlew --no-daemon :usvm-ts-pbt:check :usvm-ts-pbt:detektMain :usvm-ts-pbt:detektTest :usvm-ts-pbt:installDist
  • installed-distribution smoke: no schemaVersion, c8 10.1.3, statement hits [1,1,1,1,1,1], function hits [1,1], branch hits [1,1,0], no diagnostics
  • git diff --check

Closes #349

@CaelmBleidd
CaelmBleidd merged commit 86cd022 into main Aug 29, 2026
7 checks passed
@CaelmBleidd
CaelmBleidd deleted the caelmbleidd/issue-349-per-property-coverage branch August 29, 2026 16:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[TS PBT] Collect per-property TypeScript coverage from PBT runs

1 participant