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
8,335 Commits 59 Branches 3 Tags
master
Commit Graph

1 Commits

Author SHA1 Message Date
creuse
0f134c2af1 Document new integration Makefile and add example 
This documents the integration Makefile generated by gnattest and
adds a new "integration" example to showcase its use and how it
can be used to avoid incidental coverage.

Change-Id: I981049b8a52fa8ecf1c782a89028010c764c91e6
TN: U115-024
 2021-09-24 16:15:45 +02:00