issues
search
AdaCore
/
gnatcoverage
GNATcoverage: Coverage Analysis Tool
39
stars
9
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
GNATCOV Instrument assigns wrong convention to body-internal null subprograms
#18
andrewathalye
opened
3 months ago
0
GNATQuilt not bundled in distribution
#17
andrewathalye
opened
3 months ago
0
Allow building with shared libraries
#16
andrewathalye
opened
3 months ago
0
Update dependency on gnat_util
#15
dalybrown
opened
11 months ago
1
GNATcoverage doesn't support child projects with a hyphen in their name
#14
dalybrown
opened
1 year ago
0
In tools/gnatcov/README.md update recommended binutils version to 2.31
#13
okellogg
closed
3 years ago
1
Please update 19.1 branch tools/gnatcov/README.md info about binutils version
#12
okellogg
closed
3 years ago
2
Fail on stmt+decision total report generation
#11
dlt-lee
closed
3 years ago
1
valgrind: failed to start tool 'coverage' for platform 'amd64-linux': No such file or directory
#10
dlt-lee
closed
3 years ago
2
Got an error when comping gnatcov.
#9
Fazio
closed
3 years ago
1
Fail on Ubuntu 20.04
#8
dlt-lee
closed
3 years ago
4
Issue #6 Building on RHEL-7 x86_64 plus ancillary cleanups
#7
okellogg
closed
4 years ago
8
Building on RHEL-7 x86_64
#6
okellogg
closed
4 years ago
5
Please update tools/gnatcov/README.md "Build from sources" for libadalang
#5
okellogg
closed
5 years ago
2
Coverage annotations not working on executable compiled by GCC installed from apt
#4
Reeeemi
closed
6 years ago
1
Can't compile with gnat-gpl-2017 or continuous release "GNAT Pro Ada 19 20180415"
#3
touisteur
closed
6 years ago
3
Assembly return instruction incorrectly annotated
#2
Reeeemi
closed
6 years ago
2
Errors when processing 'if' in Ada 2012 aspect or expression functions
#1
pmderodat
closed
3 years ago
1