AdaCore/gnatcoverage

Issues

• Update dependency on gnat_util

  #15 opened a year ago by dalybrown
  0

• GNATcoverage doesn't support child projects with a hyphen in their name

  #14 opened 2 years ago by dalybrown
  0

• Please update 19.1 branch tools/gnatcov/README.md info about binutils version

  #12 opened 4 years ago by okellogg
  2

• Errors when processing 'if' in Ada 2012 aspect or expression functions

  #1 opened 4 years ago by pmderodat
  1

• Fail on stmt+decision total report generation

  #11 opened 4 years ago by dlt-lee
  1

• valgrind: failed to start tool 'coverage' for platform 'amd64-linux': No such file or directory

  #10 opened 4 years ago by dlt-lee
  2

• Got an error when comping gnatcov.

  #9 opened 4 years ago by Fazio
  1

• Fail on Ubuntu 20.04

  #8 opened 4 years ago by dlt-lee
  4

• Building on RHEL-7 x86_64

  #6 opened 5 years ago by okellogg
  5

• Please update tools/gnatcov/README.md "Build from sources" for libadalang

  #5 opened 5 years ago by okellogg
  2

• Coverage annotations not working on executable compiled by GCC installed from apt

  #4 opened 6 years ago by Reeeemi
  1

• Can't compile with gnat-gpl-2017 or continuous release "GNAT Pro Ada 19 20180415"

  #3 opened 7 years ago by touisteur
  3

• Assembly return instruction incorrectly annotated

  #2 opened 7 years ago by Reeeemi
  2