Skip to content

Document CodeChecker skip limitations - #264

Open
lntutor wants to merge 1 commit into
Ericsson:mainfrom
lntutor:docs/skip-limitations
Open

Document CodeChecker skip limitations#264
lntutor wants to merge 1 commit into
Ericsson:mainfrom
lntutor:docs/skip-limitations

Conversation

@lntutor

@lntutor lntutor commented Jul 31, 2026

Copy link
Copy Markdown

Why:
The skip argument was not documented, so users could reasonably try absolute host paths that cannot match files inside Bazel's sandbox.

What:

  • document the CodeChecker skip-file syntax
  • explain why workspace-relative patterns are required
  • add an example matching the repository's skip tests
  • note that current standard and per-file analysis both support skip

Validation:

  • git diff --check
  • compared the example with test/unit/skip/BUILD
  • verified both rule implementations pass skip to CodeChecker

Addresses:
Fixes #193

🤖 Generated with AI

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.

Document skip limitations

1 participant