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,002 Commits 59 Branches 3 Tags
20-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 5450bd98e0 Merge branch 'mr/fix_gnatcoverage_windows64_build' into '20-sustained' 
Fix Makefile and CMakeLists.txt

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

Because for Visual Studio 17 we are using the same generator for 32 bits or
64 bits, we need to precise the architecture used.

Remove also two libraries link from the CMakeLists.txt to fix multiple
definition because the symbol was already defined in dynamorio.

Ref: eng/shared/release#2053
2025-11-03 11:30:46 +01:00
publications
File bytecode article.
2010-10-22 14:17:04 +00:00
qualification
new Verification Results Analysis, plus other mods
2017-11-07 10:18:29 +01:00
techreports
Resync.
2012-02-08 15:27:44 +00:00
testsuite
Make "gnatcov run" warn when running a native program
2020-04-21 16:02:03 +02:00
tools/gnatcov
Fix Makefile and CMakeLists.txt
2025-11-03 10:27:45 +00:00
.gitattributes
Add .gitattributes to replace server side info/default_attributes
2018-11-16 16:23:50 +01:00
.gitignore
Split the gnatcov_rts project in two
2019-03-07 10:27:50 +01:00
.gitreview
.gitreview: set gerrit.defaultbranch to 20-sustained [T923-039]
2020-09-25 09:29:43 -07:00
COPYING3
Rename LICENSE to COPYING3
2017-04-05 12:49:57 +02:00
README.md
Add a README and LICENSE files in the root directory
2016-12-21 17:14:21 +01: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 documentation and is tracked in this repository. In order to build the HTML view, install Sphinx and run the following command from the tools/gnatcov/ directory:

make doc.html

License

GNATcoverage is licensed under the terms of the GPLv3 (General Public License version 3). See LICENSE 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%