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
Files
master
gnatcoverage/tools
History
Pierre-Marie de Rodat 2286b389c7 instrument-projects.adb: fix handling of No_Body units as closure roots 
Units that contain only `pragma No_Body;` should be ignored when
computing an Ada source closure: LibGPR2 assigns them no name (so
gnatcov could crash with an assertion failure), and they cannot have
dependencies anyway.
2026-02-12 09:07:26 +00:00
..
gnatcov
instrument-projects.adb: fix handling of No_Body units as closure roots
2026-02-12 09:07:26 +00:00