-
Notifications
You must be signed in to change notification settings - Fork 10
Issues: AdaCore/gnatcoverage
New issue
Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? # to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
GNATCOV Instrument assigns wrong convention to body-internal null subprograms
#18
opened Aug 4, 2024 by
andrewathalye
GNATcoverage doesn't support child projects with a hyphen in their name
#14
opened Apr 5, 2023 by
dalybrown
ProTip!
Exclude everything labeled
bug
with -label:bug.