mirror of https://github.com/AdaCore/gnatcoverage.git synced 2026-02-12 12:44:55 -08:00

Go to file

Pierre-Marie de Rodat e85cd3cd8c Merge branch 'mr/pmderodat/funcall-ada2012' into 'master'

instr-cov/514-funcall-pre2012: kill with old toolchains

See merge request eng/das/cov/gnatcoverage!1099

For https://gitlab.adacore-it.com/eng/das/cov/gnatcoverage/-/issues/514

2026-01-22 15:10:41 +00:00

doc

Fix function call instrumentation for pre-2012 Ada codebases

2026-01-20 15:43:37 +00:00

env

Qualification: Rework qualkit production to use gnatchek-qualkit helpers and style

2025-09-09 12:02:43 +00:00

examples/integration

Fix style issues in all GPR files

2024-02-19 12:18:41 +00:00

publications

File bytecode article.

2010-10-22 14:17:04 +00:00

qualification

Add qualification tests for function and call cov

2025-10-27 13:41:01 +00:00

techreports

Resync.

2012-02-08 15:27:44 +00:00

testsuite

instr-cov/514-funcall-pre2012: kill with old toolchains

2026-01-22 14:28:39 +00:00

tools/gnatcov

Instrument the same set of Ada sources that GPRbuild will compile

2026-01-21 20:43:35 +00:00

utils/ci

Add support for GNATSAS job in gitlab CI

2024-10-25 14:10:35 +00:00

.als.json

Add als configuration file

2026-01-16 09:31:34 +01:00

.check-formatting.py

Add .check_formatting.py call to pre-commit-config.yaml

2024-12-19 09:58:21 +00:00

.flake8

pre-commit: add flake8 and black

2024-02-27 13:40:05 +00:00

.gitignore

.gitignore: add ada-rts/gnatcov_rts.ads

2025-10-08 07:20:23 +00:00

.gitlab-ci.yml

CI: remove the temporary qualrun testing for gnatcov 25

2026-01-22 10:12:01 +01:00

.pre-commit-config.yaml

pre-commit: Add a gnatformat job

2025-09-30 10:48:34 +02:00

COPYING3

Rename LICENSE to COPYING3

2017-04-05 12:49:57 +02:00

README.md

README.md: Updated links and minor grammatical fixes.

2021-03-29 11:54:11 +02:00

README.md

GNATcoverage

GNATcoverage is a tool to analyze and report program coverage.

Originally developed as part of the Couverture research project, GNATcoverage allows coverage analysis of both object code (instruction and branch coverage), and Ada or C language source code (Statement, Decision and Modified Condition/Decision Coverage - MC/DC).

Please refer to the dedicated README files for build instructions and for testing.

Documentation

The GNATcoverage User Manual is a Sphinx-formatted document and is tracked in this repository. In order to build the HTML view, install Sphinx and run the following command from the doc/ directory:

make doc.html

License

GNATcoverage is licensed under the terms of the GPLv3 (General Public License version 3). See COPYING3 for more information.

Languages

Ada 70.9%

Python 22.3%

C 2.2%

TeX 1.5%

Alloy 1.2%

Other 1.9%