AdaCore / gnatcoverage

GNATcoverage: Coverage Analysis Tool

Repository from Github https://github.comAdaCore/gnatcoverage

AdaCore/gnatcoverage Issues

GNATCOV Instrument assigns wrong convention to body-internal null subprograms
Updated a year ago
GNATQuilt not bundled in distribution
Updated a year ago
Update dependency on gnat_util
Updated a year ago1
Allow building with shared libraries
Updated a year ago
GNATcoverage doesn't support child projects with a hyphen in their name
Updated 3 years ago
Please update 19.1 branch tools/gnatcov/README.md info about binutils version
Closed 4 years ago2
Errors when processing 'if' in Ada 2012 aspect or expression functions
Closed 5 years ago1
Fail on stmt+decision total report generation
Closed 5 years ago1
valgrind: failed to start tool 'coverage' for platform 'amd64-linux': No such file or directory
Closed 5 years ago2
Got an error when comping gnatcov.
Closed 5 years ago1
Fail on Ubuntu 20.04
Closed 5 years ago4
Building on RHEL-7 x86_64
Closed 6 years ago5
Please update tools/gnatcov/README.md "Build from sources" for libadalang
Closed 6 years ago2
Coverage annotations not working on executable compiled by GCC installed from apt
Closed 7 years ago1
Can't compile with gnat-gpl-2017 or continuous release "GNAT Pro Ada 19 20180415"
Closed 7 years ago3
Assembly return instruction incorrectly annotated
Closed 7 years ago2