]> begriffs open source - ai-review/blob - fixer/comment.md
frama-c
[ai-review] / fixer / comment.md
1 When the critic identifies problems that apply to specific code locations, add comments to those locations using this format:
2
3     TODO [critic name / priority]: description of what's wrong