ada/gnatcoverage
0
0
Fork 0
mirror of https://github.com/AdaCore/gnatcoverage.git synced 2026-02-12 12:44:55 -08:00
Code Issues Packages Projects Releases Wiki Activity
5,980 Commits 59 Branches 3 Tags
23-sustained
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Liaiss Merzougue 98a7508f10 Merge branch 'mr/fix_gnatcoverage_internal_build' into '23-sustained' 
Fix GNATCoverage build

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

Use Visual Studio 17 2022 as it is the CMake generator allowed and
remove useless link to vcruntime and libucrt

Ref: it/org/software-supply-chain/production-pipeline/issues#129
2025-08-04 17:07:56 +02:00
doc
Merge branch 'appendix-chapter-number' into 'master'
2023-05-25 13:09:10 +00:00
examples/integration
Document new integration Makefile and add example
2021-09-24 16:15:45 +02:00
publications
File bytecode article.
2010-10-22 14:17:04 +00:00
qualification
Add genbundle.py support for --git-rsync
2022-06-09 15:17:33 +00:00
techreports
Resync.
2012-02-08 15:27:44 +00:00
testsuite
Merge branch 'eyraud/header_not_found' into 'master'
2023-06-02 13:29:04 +00:00
tools/gnatcov
Fix GNATCoverage build
2025-08-04 15:01:57 +00:00
.gitattributes
Document new integration Makefile and add example
2021-09-24 16:15:45 +02:00
.gitignore
Merge branch 'add_test_dir' into 'master'
2023-05-19 10:01:45 +00:00
.gitreview
.gitreview: set gerrit.defaultbranch to 23.2 [W118-031]
2023-01-19 12:03:55 +04:00
.pre-commit-config.yaml
Merge branch 'eyraud/mix_c_c++' into 'master'
2023-05-19 13:34:50 +00: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.

Reference in New Issue View Git Blame Copy Permalink
Description
No description provided
Readme 36 MiB
Languages
Ada 70.9%
Python 22.3%
C 2.2%
TeX 1.5%
Alloy 1.2%
Other 1.9%